Church's Thesis: Prelude to a Proof

DOI10.1093/PHILMAT/6.3.302zbMath0916.03007OpenAlexW2123535850MaRDI QIDQ4224761

Janet Folina

Publication date: 17 January 1999

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/philmat/6.3.302

zbMATH Keywords

Church's Thesis

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (4)

What is the Church-Turing Thesis? ⋮ The decision problem for effective procedures ⋮ Proving Things About the Informal ⋮ A Natural Axiomatization of Computability and Proof of Church's Thesis

This page was built for publication: Church's Thesis: Prelude to a Proof