Second Thoughts about Church's Thesis and Mathematical Proofs
From MaRDI portal
Publication:2761680
DOI10.2307/2026831zbMath0977.03500OpenAlexW3026105695MaRDI QIDQ2761680
Publication date: 22 January 2002
Published in: The Journal of Philosophy (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2026831
Philosophical and critical aspects of logic and foundations (03A05) Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10)
Related Items (10)
What is the Church-Turing Thesis? ⋮ The decision problem for effective procedures ⋮ Can Church's thesis be viewed as a Carnapian explication? ⋮ Step by Recursive Step: Church's Analysis of Effective Calculability ⋮ Proving Things About the Informal ⋮ Consistency, mechanicalness, and the logic of the mind ⋮ Is Universal Computation a Myth? ⋮ A Natural Axiomatization of Computability and Proof of Church's Thesis ⋮ Markov's constructive analysis; a participant's view ⋮ Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session
This page was built for publication: Second Thoughts about Church's Thesis and Mathematical Proofs
