LEADER 00935nam a2200265 i 4500 001 991002861559707536 005 20020503174154.0 008 010315s1909 it ||| | ita 035 $ab10424908-39ule_inst 035 $aEXGIL111064$9ExL 040 $aBiblioteca Interfacoltà$bita 082 0 $a851.4 100 1 $aDi San Giusto, Luigi$0189536 245 10$aGaspara Stampa 260 $aMofena :$bFormiggini,$c1909 300 $a98 p. ;$c17 cm. 490 0 $aProfili ;$v3 650 4$aStampa, Gaspara 907 $a.b10424908$b21-02-17$c27-06-02 912 $a991002861559707536 945 $aLE002 Busta B 2 2$g1$i2002000768001$lle002$o-$pE0.00$q-$rn$so $t0$u0$v0$w0$x0$y.i10493803$z27-06-02 945 $aLE002 Busta B 2/2 bis$g2$i2002000768018$lle002$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i14939927$z09-03-09 996 $aGaspara Stampa$9219481 997 $aUNISALENTO 998 $ale002$b01-01-01$cm$da $e-$fita$git $h0$i1 LEADER 03649oam 2200733Ka 450 001 9910779750303321 005 20190503073414.0 010 $a0-262-31268-9 010 $a0-262-52748-0 010 $a0-262-31267-0 035 $a(CKB)2550000001094493 035 $a(EBL)3339630 035 $a(SSID)ssj0000915477 035 $a(PQKBManifestationID)11506854 035 $a(PQKBTitleCode)TC0000915477 035 $a(PQKBWorkID)10868664 035 $a(PQKB)10733900 035 $a(CaBNVSL)mat06554353 035 $a(IDAMS)0b00006481dbdd45 035 $a(IEEE)6554353 035 $a(OCoLC)849928726 035 $a(MdBmJHUP)muse46464 035 $a(OCoLC)849928726$z(OCoLC)851157227$z(OCoLC)868204323$z(OCoLC)881288837$z(OCoLC)923251995$z(OCoLC)964598875 035 $a(OCoLC-P)849928726 035 $a(MaCbMITP)8009 035 $a(Au-PeEL)EBL3339630 035 $a(CaPaEBR)ebr10722732 035 $a(CaONFJC)MIL500050 035 $a(OCoLC)923251995 035 $a(MiAaPQ)EBC3339630 035 $a(PPN)259020672 035 $a(EXLCZ)992550000001094493 100 $a20130624d2013 uy 0 101 0 $aeng 135 $aur|||||||nn|n 181 $ctxt 182 $cc 183 $acr 200 00$aComputability $eTuring, Go?del, Church, and beyond /$fedited by Jack Copeland, Carl Posy, and Oron Shagrir 210 $aCambridge, Massachusetts $cThe MIT Press$d[2013] 215 $a1 online resource (373 p.) 300 $aDescription based upon print version of record. 311 $a0-262-01899-3 311 $a1-299-68800-4 320 $aIncludes bibliographical references and index. 327 $a""11 Is Quantum Mechanics Falsifiable? A Computational Perspective on the Foundations of Quantum Mechanics""""About the Authors""; ""Index"" 330 3 $a"In the 1930s a series of seminal works published by Alan Turing, Kurt Go?del, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics. In the decades since, the theory of computability has moved to the center of discussions in philosophy, computer science, and cognitive science. In this volume, distinguished computer scientists, mathematicians, logicians, and philosophers consider the conceptual foundations of computability in light of our modern understanding. Some chapters focus on the pioneering work by Turing, Go?del, and Church, including the Church-Turing thesis and Go?del's response to Church's and Turing's proposals. Other chapters cover more recent technical developments, including computability over the reals, Go?del's influence on mathematical logic and on recursion theory and the impact of work by Turing and Emil Post on our theoretical understanding of online and interactive computing; and others relate computability and complexity to issues in the philosophy of mind, the philosophy of science, and the philosophy of mathematics." 606 $aComputational complexity 606 $aMathematics$xPhilosophy 610 $aCOMPUTER SCIENCE/General 610 $aMATHEMATICS & STATISTICS/General 610 $aPHILOSOPHY/General 615 0$aComputational complexity. 615 0$aMathematics$xPhilosophy. 676 $a511.3/52 702 $aCopeland$b B. Jack$f1950- 702 $aPosy$b Carl J. 702 $aShagrir$b Oron$f1961- 801 0$bOCoLC-P 801 1$bOCoLC-P 906 $aBOOK 912 $a9910779750303321 996 $aComputability$93844499 997 $aUNINA