LEADER 03734nam  22005295  450 
001 9910163026803321
005 20220413184538.0
010   $a3-319-41842-4
024 7 $a10.1007/978-3-319-41842-1
035   $a(CKB)3710000001045325
035   $a(MiAaPQ)EBC4797401
035   $a(DE-He213)978-3-319-41842-1
035   $a(EXLCZ)993710000001045325
100   $a20170201d2016      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $2rdacontent
182   $2rdamedia
183   $2rdacarrier
200 10$aMartin Davis on computability, computational logic, and mathematical foundations /$fedited by Eugenio G. Omodeo, Alberto Policriti
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (453 pages) $cillustrations
225 1 $aOutstanding Contributions to Logic,$x2211-2758 ;$v10
311   $a3-319-41841-6 
320   $aIncludes bibliographical references at the end of each chapters and indexes.
327   $aChapter 1. My Life as a Logician (Martin Davis) -- Chapter 2. Martin Davis and Hilbert?s Tenth Problem (Yuri Matiyasevich) -- Chapter 3. Extensions of Hilbert?s Tenth Problem: Definability and Decidability in Number Theory (Alexandra Shlapentokh) -- Chapter 4. A Story of Hilbert?s Tenth Problem (Laura Elena Morales Guerrero) -- Chapter 5. Hyperarithmetical Sets (Yiannis N. Moschovakis) -- Chapter 6. Honest Computability and Complexity (Udi Boker and Nachum Dershowitz) -- Chapter 7. Why Post Did [Not] Have Turing?s Thesis (Wilfried Sieg) -- Chapter 8. On Quantum Computation, Anyons, and Categories (Andreas Blass).
330   $aThis book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis? work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert?s tenth problem. The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis? work. As a whole, this book shows how Davis? scientific work lies at the intersection of computability, theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic.
410  0$aOutstanding Contributions to Logic,$x2211-2758 ;$v10
606   $aLogic
606   $aMathematical logic
606   $aLogic$3https://scigraph.springernature.com/ontologies/product-market-codes/E16000
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
615  0$aLogic.
615  0$aMathematical logic.
615 14$aLogic.
615 24$aMathematical Logic and Foundations.
676   $a925.1
702   $aOmodeo$b Eugenio G$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPolicriti$b Alberto$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910163026803321
996   $aMartin Davis on Computability, Computational Logic, and Mathematical Foundations$92518851
997   $aUNINA