| 000 | 04895nam a22008655i 4500 | ||
|---|---|---|---|
| 001 | 236465 | ||
| 003 | IT-RoAPU | ||
| 005 | 20230501182821.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr || |||||||| | ||
| 008 | 230228t20132006gw fo d z eng d | ||
| 019 | _a(OCoLC)1013942070 | ||
| 020 |
_a9783110324945 _qprint |
||
| 020 |
_a9783110325461 _qPDF |
||
| 024 | 7 |
_a10.1515/9783110325461 _2doi |
|
| 035 | _a(DE-B1597)9783110325461 | ||
| 035 | _a(DE-B1597)211421 | ||
| 035 | _a(OCoLC)853251315 | ||
| 040 |
_aDE-B1597 _beng _cDE-B1597 _erda |
||
| 050 | 4 |
_aQA9 _b.C58 2006 |
|
| 072 | 7 |
_aPHI011000 _2bisacsh |
|
| 082 | 0 | 4 |
_a511.3 _223 |
| 084 | _aonline - DeGruyter | ||
| 245 | 0 | 0 |
_aChurch's Thesis After 70 Years / _ced. by Adam Olszewski, Jan Wolenski, Robert Janusz. |
| 264 | 1 |
_aBerlin ; _aBoston : _bDe Gruyter, _c[2013] |
|
| 264 | 4 | _c©2006 | |
| 300 | _a1 online resource (551 p.) | ||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 0 |
_aOntos Mathematical Logic , _x2198-2341 ; _v1 |
|
| 505 | 0 | 0 |
_tFrontmatter -- _tContents -- _tPreface -- _tChurch’s Thesis and Philosophy of Mind -- _tAlgorithms: A Quest for Absolute Definitions -- _tChurch’s Thesis and Bishop’s Constructivism -- _tOn the Provability, Veracity, and AI-Relevance of the Church–Turing Thesis -- _tThe Church–Turing Thesis. A Last Vestige of a Failed Mathematical Program -- _tTuring’s Thesis -- _tChurch’s Thesis and Physical Computation -- _tChurch’s Thesis and the Variety of Mathematical Justifications -- _tDid Church and Turing Have a Thesis about Machines? -- _tFormalizing Church’s Thesis -- _tRemarks on Church’s Thesis and Gödel’s Theorem -- _tThesis and Variations -- _tOn the Impossibility of Proving the “Hard-Half” of Church’s Thesis -- _tThe Status of Church’s Thesis -- _tAnalog Computation and Church’s Thesis -- _tKreisel’s Church -- _tChurch’s Thesis as Formulated by Church — An Interpretation -- _tGödel on Turing on Computability -- _tComputability, Proof, and Open-Texture -- _tStep by Recursive Step: Church’s Analysis of Effective Calculability -- _tPhysics and Metaphysics Look at Computation -- _tChurch’s Thesis and Functional Programming -- _tIndex |
| 506 | 0 |
_arestricted access _uhttp://purl.org/coar/access_right/c_16ec _fonline access with authorization _2star |
|
| 520 | _aChurch's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of a effectively computable function defined in natural numbers with the notion of a recursive function. Despite of the many efforts of prominent scientists, Church's Thesis has never been falsified. There exists a vast literature concerning the thesis. The aim of the book is to provide one volume summary of the state of research on Church's Thesis. These include the following: different formulations of CT, CT and intuitionism, CT and intensional mathematics, CT and physics, the epistemic status of CT, CT and philosophy of mind, provability of CT and CT and functional programming. | ||
| 530 | _aIssued also in print. | ||
| 538 | _aMode of access: Internet via World Wide Web. | ||
| 546 | _aIn English. | ||
| 588 | 0 | _aDescription based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023) | |
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 650 | 4 | _aLogik. | |
| 650 | 4 | _aMathematik. | |
| 650 | 7 |
_aPHILOSOPHY / Logic. _2bisacsh |
|
| 700 | 1 |
_aAbramson, Darren _eautore |
|
| 700 | 1 |
_aArkoudas, Konstantine _eautore |
|
| 700 | 1 |
_aBlass, Andreas _eautore |
|
| 700 | 1 |
_aBridges, Douglas S. _eautore |
|
| 700 | 1 |
_aBringsjord, Selmer _eautore |
|
| 700 | 1 |
_aCleland, Carol E. _eautore |
|
| 700 | 1 |
_aCopeland, B. Jack _eautore |
|
| 700 | 1 |
_aFitz, Hartmut _eautore |
|
| 700 | 1 |
_aFolina, Janet _eautore |
|
| 700 | 1 |
_aGurevich, Yuri _eautore |
|
| 700 | 1 |
_aHodges, Andrew _eautore |
|
| 700 | 1 |
_aHorsten, Leon _eautore |
|
| 700 | 1 |
_aJanusz, Robert _ecuratore |
|
| 700 | 1 |
_aKrajewski, Stanisław _eautore |
|
| 700 | 1 |
_aMcCarty, Charles _eautore |
|
| 700 | 1 |
_aMendelson, Elliott _eautore |
|
| 700 | 1 |
_aMurawski, Roman _eautore |
|
| 700 | 1 |
_aMycka, Jerzy _eautore |
|
| 700 | 1 |
_aOdifreddi, Piergiorgio _eautore |
|
| 700 | 1 |
_aOlszewski, Adam _eautore _ecuratore |
|
| 700 | 1 |
_aShagrir, Oron _eautore |
|
| 700 | 1 |
_aShapiro, Stewart _eautore |
|
| 700 | 1 |
_aSieg, Wilfried _eautore |
|
| 700 | 1 |
_aSvozil, Karl _eautore |
|
| 700 | 1 |
_aTurner, David _eautore |
|
| 700 | 1 |
_aWolenski, Jan _eautore _ecuratore |
|
| 850 | _aIT-RoAPU | ||
| 856 | 4 | 0 | _uhttps://doi.org/10.1515/9783110325461 |
| 856 | 4 | 0 | _uhttps://www.degruyter.com/isbn/9783110325461 |
| 856 | 4 | 2 |
_3Cover _uhttps://www.degruyter.com/document/cover/isbn/9783110325461/original |
| 942 | _cEB | ||
| 999 |
_c236465 _d236465 |
||