scientific article; zbMATH DE number 5064406

MaRDI QIDQ5493759zbMATH OpenFDO

Authors Wilfried Sieg

Publication date 16 October 2006

zbMATH Keywords

TuringChurch's ThesisKleenePostChurchBernaysGödelRosser

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Recommendations

• Step by Recursive Step: Church's Analysis of Effective Calculability
• scientific article; zbMATH DE number 1092235
• A theoretical basis for stepwise refinement and the programming calculus
• Computational complexity, step by step
• Publication:3490990
• The stair-step approach in mathematics
• The analytic approach to recursion relations
• scientific article; zbMATH DE number 4039896
• scientific article; zbMATH DE number 1869993

Cited in

(1)

• Wittgenstein's diagonal argument: a variation on Cantor and Turing

This page was built for publication:

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