| Description |
1 online resource (551 pages) : illustrations. |
| Physical Medium |
polychrome |
| Description |
text file |
| Series |
Ontos mathematical logic ; v. 1
|
|
Ontos mathematical logic ; v. 1.
|
| Note |
Title from PDF title page (viewed on July 25, 2013). |
| Bibliography |
Includes bibliographical references and index. |
| Contents |
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. |
|
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. |
|
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. |
| Summary |
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. |
| Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
| Subject |
Church, Alonzo, 1903-1995.
|
|
Church, Alonzo, 1903-1995. |
|
Logic, Symbolic and mathematical.
|
|
Logic, Symbolic and mathematical. |
| Genre/Form |
Electronic books.
|
| Added Author |
Church, Alonzo, 1903-1995.
|
|
Olszewski, Adam.
|
|
Woleński, Jan.
|
|
Janusz, Robert.
|
| Added Title |
Church's Thesis after seventy years |
| Other Form: |
Print version: Wolenski, Jan. Church's Thesis After 70 Years. Berlin : De Gruyter, ©2006 9783110324945 |
| ISBN |
9783110325461 (electronic book) |
|
3110325462 (electronic book) |
|
