Description |
1 online resource (551 pages) : illustrations |
Series |
Ontos mathematical logic ; v. 1 |
|
Ontos mathematical logic ; v. 1.
|
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 |
Notes |
Title from PDF title page (viewed on July 25, 2013) |
Bibliography |
Includes bibliographical references and index |
Subject |
Church, Alonzo, 1903-1995.
|
SUBJECT |
Church, Alonzo, 1903-1995 fast |
Subject |
Logic, Symbolic and mathematical.
|
|
MATHEMATICS -- Infinity.
|
|
MATHEMATICS -- Logic.
|
|
Logic, Symbolic and mathematical
|
|
Stelling van Church.
|
Form |
Electronic book
|
Author |
Church, Alonzo, 1903-1995.
|
|
Olszewski, Adam.
|
|
Woleński, Jan.
|
|
Janusz, Robert.
|
ISBN |
9783110325461 |
|
3110325462 |
|