Church's thesis as formulated by Church -- an interpretation

zbMATH Open1107.03045MaRDI QIDQ5493756FDOQ5493756

Authors: Adam Olszewski 

Publication date: 16 October 2006

Recommendations

• The status of Church's thesis
• Church's thesis and its epistemological status
• Formalizing Church's thesis
• scientific article; zbMATH DE number 1169380
• On the impossibility of proving the ``hard-half of Church's thesis

zbMATH Keywords

recursiveeffectively computable

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Recursive functions and relations, subrecursive hierarchies (03D20)

Cited In (8)

• Squeezing arguments
• Title not available (Why is that?)
• The status of Church's thesis
• The physical Church thesis as an explanation of the Galileo thesis
• Kreisel's Church
• ET and an infinitary Church's thesis
• On the impossibility of proving the ``hard-half of Church's thesis
• Title not available (Why is that?)

This page was built for publication: Church's thesis as formulated by Church -- an interpretation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5493756)