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 |
Tabla de Contenidos:
- 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.