ProofWiki:Mathematicians/Stephen Cole Kleene

One of the great pioneers in the field of recursion theory.

Nationality

American

History

• Born: January 5, 1909, Hartford, Connecticut, USA
• Died: January 25, 1994, Madison, Wisconsin

Theorems and Definitions

• Kleene's Normal Form Theorem
• Kleene Closure
• Kleene Hierarchy
• Kleene-Rosser Paradox
• Kleene-Mostowski Hierarchy (with Andrzej Mostowski)

Books and Papers

• 1952: Introduction to Metamathematics
• 1956: Representation of Events in Nerve Nets and Finite Automata
• 1965: The Foundations of Intuitionistic Mathematics (with Richard Eugene Vesley)
• 1967: Mathematical Logic
• 1981: Origins of Recursive Function Theory

See also

• John J. O'Connor and Edmund F. Robertson: "Stephen Cole Kleene": MacTutor History of Mathematics archive