Proving church's thesis

Philosophia Mathematica 8 (3):244--58 (2000)

Abstract
Arguments to the effect that Church's thesis is intrinsically unprovable because proof cannot relate an informal, intuitive concept to a mathematically defined one are unconvincing, since other 'theses' of this kind have indeed been proved, and Church's thesis has been proved in one direction. However, though evidence for the truth of the thesis in the other direction is overwhelming, it does not yet amount to proof.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/philmat/8.3.244
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,373
Through your library

References found in this work BETA

On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
Logical Foundations of Probability.Ernest H. Hutten - 1950 - Journal of Symbolic Logic 16 (3):205-207.
Collected Works.Kurt Gödel - 1986 - Oxford University Press.
Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.

View all 24 references / Add more references

Citations of this work BETA

The Physical Church-Turing Thesis: Modest or Bold?Gualtiero Piccinini - 2011 - British Journal for the Philosophy of Science 62 (4):733-769.
Human-Effective Computability†.Marianna Antonutti Marfori & Leon Horsten - 2019 - Philosophia Mathematica 27 (1):61-87.

View all 7 citations / Add more citations

Similar books and articles

The Church-Turing Thesis.B. Jack Copeland - 2008 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Stanford University.
SAD Computers and Two Versions of the Church–Turing Thesis.Tim Button - 2009 - British Journal for the Philosophy of Science 60 (4):765-792.
The Church-Turing Thesis: A Last Vestige of a Failed Mathematical Program.Carol Cleland - 2006 - In A. Olszewski, J. Wole'nski & R. Janusz (eds.), Church's Thesis After Seventy Years. Ontos Verlag. pp. 119-146.
Church's Thesis: Prelude to a Proof.Janet Folina - 1998 - Philosophia Mathematica 6 (3):302-323.

Analytics

Added to PP index
2009-01-28

Total views
169 ( #47,784 of 2,286,159 )

Recent downloads (6 months)
4 ( #318,915 of 2,286,159 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature