scientific article; zbMATH DE number 5064406

zbMATH Open1105.03300MaRDI QIDQ5493759FDOQ5493759

Authors: Wilfried Sieg 

Publication date: 16 October 2006

Title of this publication is not available (Why is that?)

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

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)

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)