LEADER 01031nam a2200265 i 4500 001 991000481619707536 008 091204s2008 it 001 0 ita d 020 $a9788862661263 035 $ab13863708-39ule_inst 040 $aFacoltà SSPT$bita 082 0 $a330.945 100 1 $aPatruno, Lino $0300189 245 10$aAlla riscossa terroni :$bperché il Sud non è diventato ricco : il caso Puglia /$cLino Patruno ; introduzione di Giuseppe Vacca ; postfazione di Gianfranco Viesti 260 $aSan Cesario di Lecce :$bManni,$c2008 300 $a170 p. ;$c20 cm 440 0$aStudi ;$v125 651 4$aPuglia$xCondizioni economiche e sociali 700 1 $aVacca, Giuseppe 700 1 $aViesti, Gianfranco 907 $a.b13863708$b02-04-14$c04-12-09 912 $a991000481619707536 945 $aLE021 330.94 PAT01.01$g1$i2020000021315$lle021$op$pE15.00$q-$rn$s- $t0$u1$v0$w1$x0$y.i15044725$z04-12-09 996 $aAlla riscossa terroni$9231317 997 $aUNISALENTO 998 $ale020$b04-12-09$cm$da $e-$fita$git $h0$i0 LEADER 03762nam 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 $aLogic, Symbolic and mathematical 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$aLogic, Symbolic and mathematical. 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