Limit search to available items
Book Cover
E-book

Title Church's Thesis after 70 years / Adam Olszewski, Jan Woleński, Robert Janusz (eds.)
Published Frankfurt ; New Brunswick, NJ : Ontos, ©2006

Copies

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
Other Titles Church's Thesis after seventy years