Cargando…
Church's Thesis after 70 years /
Church'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, C...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Frankfurt ; New Brunswick, NJ :
Ontos,
©2006.
|
| Colección: | Ontos mathematical logic ;
v. 1. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn853664918 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130725s2006 gw a ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d E7B |d OCLCF |d YDXCP |d EBLCP |d IDEBK |d DEBBG |d DEBSZ |d OCLCQ |d AGLDB |d OCLCQ |d OCLCO |d VTS |d STF |d M8D |d OCLCQ |d OCLCO |d OCLCQ |d AJS |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 851970862 |a 905551433 | ||
| 020 | |a 9783110325461 |q (electronic bk.) | ||
| 020 | |a 3110325462 |q (electronic bk.) | ||
| 029 | 1 | |a CHNEW |b 000641325 | |
| 029 | 1 | |a DEBBG |b BV042349296 | |
| 029 | 1 | |a DEBBG |b BV043060680 | |
| 029 | 1 | |a DEBSZ |b 431424152 | |
| 029 | 1 | |a DEBSZ |b 446509973 | |
| 035 | |a (OCoLC)853664918 |z (OCoLC)851970862 |z (OCoLC)905551433 | ||
| 050 | 4 | |a QA9 |b .C58 2006 | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 23 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Church's Thesis after 70 years / |c Adam Olszewski, Jan Woleński, Robert Janusz (eds.). |
| 246 | 3 | 0 | |a Church's Thesis after seventy years |
| 260 | |a Frankfurt ; |a New Brunswick, NJ : |b Ontos, |c ©2006. | ||
| 300 | |a 1 online resource (551 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Ontos mathematical logic ; |v v. 1 | |
| 500 | |a Title from PDF title page (viewed on July 25, 2013). | ||
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Preface; Darren AbramsonÞChurch's Thesis and Philosophy of Mind; Andreas Blass, Yuri GurevichÞAlgorithms: A Quest for Absolute Definitions; Douglas S. BridgesÞChurch's Thesis and Bishop's Constructivism; Selmer Bringsjord, Konstantine ArkoudasÞOn the Provability, Veracity, and AI-Relevance of the Church-Turing Thesis; Carol E. ClelandÞThe Church-Turing Thesis. A Last Vestige of a Failed Mathematical Program; B. Jack CopelandÞTuring's Thesis; Hartmut FitzÞChurch's Thesis and Physical Computation; Janet FolinaÞChurch's Thesis and the Variety of Mathematical Justifications. | |
| 505 | 8 | |a Andrew HodgesÞDid Church and Turing Have a Thesis about Machines?Leon HorstenÞFormalizing Church's Thesis; Stanisław KrajewskiÞRemarks on Church's Thesis and Gödel's Theorem; Charles McCartyÞThesis and Variations; Elliott MendelsonÞOn the Impossibility of Proving the "Hard-Half" of Church's Thesis; Roman Murawski, Jan WolenskiÞThe Status of Church's Thesis; Jerzy MyckaÞAnalog Computation and Church's Thesis; Piergiorgio OdifreddiÞKreisel's Church; Adam OlszewskiÞChurch's Thesis as Formulated by Church -- An Interpretation; Oron ShagrirÞGödel on Turing on Computability. | |
| 505 | 8 | |a Stewart ShapiroÞComputability, Proof, and Open-TextureWilfried SiegÞStep by Recursive Step: Church's Analysis of Effective Calculability; Karl SvozilÞPhysics and Metaphysics Look at Computation; David TurnerÞChurch's Thesis and Functional Programming; Index. | |
| 520 | |a Church'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. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 600 | 1 | 0 | |a Church, Alonzo, |d 1903-1995. |
| 600 | 1 | 7 | |a Church, Alonzo, |d 1903-1995 |2 fast |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 1 | 7 | |a Stelling van Church. |2 gtt |
| 700 | 1 | |a Church, Alonzo, |d 1903-1995. | |
| 700 | 1 | |a Olszewski, Adam. | |
| 700 | 1 | |a Woleński, Jan. | |
| 700 | 1 | |a Janusz, Robert. | |
| 776 | 0 | 8 | |i Print version: |a Wolenski, Jan. |t Church's Thesis After 70 Years. |d Berlin : De Gruyter, ©2006 |z 9783110324945 |
| 830 | 0 | |a Ontos mathematical logic ; |v v. 1. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=603590 |z Texto completo |
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL1195555 | ||
| 938 | |a ebrary |b EBRY |n ebr10728709 | ||
| 938 | |a EBSCOhost |b EBSC |n 603590 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis25806440 | ||
| 938 | |a YBP Library Services |b YANK |n 10818724 | ||
| 994 | |a 92 |b IZTAP | ||