Kreisel's Church

zbMATH Open1104.03006MaRDI QIDQ5493755FDOQ5493755

Authors: Piergiorgio Odifreddi 

Publication date: 16 October 2006

Recommendations

• scientific article; zbMATH DE number 1169380
• Church's thesis as formulated by Church -- an interpretation
• Formalizing Church's thesis
• Human-effective computability
• Church's thesis and its epistemological status

zbMATH Keywords

surveyChurch's thesisrecursive functioneffective computabilityGeorg Kreisel

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Recursive functions and relations, subrecursive hierarchies (03D20)

Cited In (2)

• Church–Rosser Made Easy
• Human-effective computability

This page was built for publication: Kreisel's Church

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