scientific article; zbMATH DE number 3900718

MaRDI QIDQ3679149zbMATH OpenFDO

Authors Stephen Cole Kleene

Publication date 1982

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory (03Dxx)

Recommendations

• scientific article; zbMATH DE number 1665441
• Recursive functions: an archeological look
• An early history of recursive functions and computability from Gödel to Turing
• scientific article; zbMATH DE number 480999
• Recursion theory
• scientific article; zbMATH DE number 478433
• scientific article; zbMATH DE number 1176133
• Recursive Functions and Constructive Mathematics

Cited in

(5)

• scientific article; zbMATH DE number 1405586 (Why is no real title available?)
• Recursive functions: an archeological look
• The independence of control structures in abstract programming systems
• Computational foundations of basic recursive function theory
• An early history of recursive functions and computability from Gödel to 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 Q3679149)