001385509 000__ 03545cam\a2200601Ka\4500
001385509 001__ 1385509
001385509 003__ MaCbMITP
001385509 005__ 20240325104959.0
001385509 006__ m\\\\\o\\d\\\\\\\\
001385509 007__ cr\cn\nnnunnun
001385509 008__ 130624s2013\\\\mau\\\\\ob\\\\001\0\eng\d
001385509 020__ $$a9781461931843$$q(electronic bk.)
001385509 020__ $$a1461931843$$q(electronic bk.)
001385509 020__ $$a0262312670$$q(electronic bk.)
001385509 020__ $$a9780262312677$$q(electronic bk.)
001385509 020__ $$a9780262312660$$q(electronic bk.)
001385509 020__ $$a0262312662$$q(electronic bk.)
001385509 020__ $$a1299688004$$q(electronic bk.)
001385509 020__ $$a9781299688001$$q(electronic bk.)
001385509 020__ $$a9780262312684$$q(electronic bk.)
001385509 020__ $$a0262312689$$q(electronic bk.)
001385509 020__ $$z9780262018999
001385509 020__ $$z0262018993
001385509 035__ $$a(OCoLC)849928726$$z(OCoLC)851157227$$z(OCoLC)868204323$$z(OCoLC)881288837$$z(OCoLC)923251995$$z(OCoLC)964598875
001385509 035__ $$a(OCoLC-P)849928726
001385509 040__ $$aOCoLC-P$$beng$$epn$$cOCoLC-P
001385509 050_4 $$aQA267.7$$b.C677 2013eb
001385509 072_7 $$aCOM$$x037000$$2bisacsh
001385509 08204 $$a511.3/52$$223
001385509 24500 $$aComputability :$$bTuring, Gödel, Church, and beyond /$$cedited by Jack Copeland, Carl Posy, and Oron Shagrir.
001385509 260__ $$aCambridge, Massachusetts :$$bThe MIT Press,$$c[2013]
001385509 300__ $$a1 online resource
001385509 336__ $$atext$$btxt$$2rdacontent
001385509 337__ $$acomputer$$bc$$2rdamedia
001385509 338__ $$aonline resource$$bcr$$2rdacarrier
001385509 506__ $$aAccess limited to authorized users.
001385509 5203_ $$a"In the 1930s a series of seminal works published by Alan Turing, Kurt Gö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, Gödel, and Church, including the Church-Turing thesis and Gödel's response to Church's and Turing's proposals. Other chapters cover more recent technical developments, including computability over the reals, Gö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."
001385509 588__ $$aOCLC-licensed vendor bibliographic record.
001385509 650_0 $$aComputational complexity.
001385509 650_0 $$aMathematics$$xPhilosophy.
001385509 653__ $$aCOMPUTER SCIENCE/General
001385509 653__ $$aMATHEMATICS & STATISTICS/General
001385509 653__ $$aPHILOSOPHY/General
001385509 655_0 $$aElectronic books
001385509 7001_ $$aCopeland, B. Jack,$$d1950-$$eeditor.
001385509 7001_ $$aPosy, Carl J.,$$eeditor.
001385509 7001_ $$aShagrir, Oron,$$d1961-$$eeditor.
001385509 852__ $$bebk
001385509 85640 $$3MIT Press$$uhttps://univsouthin.idm.oclc.org/login?url=https://doi.org/10.7551/mitpress/8009.001.0001?locatt=mode:legacy$$zOnline Access through The MIT Press Direct
001385509 85642 $$3OCLC metadata license agreement$$uhttp://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
001385509 909CO $$ooai:library.usi.edu:1385509$$pGLOBAL_SET
001385509 980__ $$aBIB
001385509 980__ $$aEBOOK
001385509 982__ $$aEbook
001385509 983__ $$aOnline