Misplaced Pages

The following pages link to Stephen Kleene

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 50 items.

• Algorithm (links | edit)
• John Horton Conway (links | edit)
• Kurt Gödel (links | edit)
• Kleene star (links | edit)
• Lambda calculus (links | edit)
• Intuitionism (links | edit)
• Mathematical logic (links | edit)
• Partial function (links | edit)
• Primitive recursive function (links | edit)
• General recursive function (links | edit)
• Theory of computation (links | edit)
• Turing machine (links | edit)
• Actual infinity (links | edit)
• Asterisk (links | edit)
• Consistency (links | edit)
• Computability theory (links | edit)
• Foundations of mathematics (links | edit)
• Metamathematics (links | edit)
• Indicator function (links | edit)
• Curry–Howard correspondence (links | edit)
• Well-formed formula (links | edit)
• Deduction theorem (links | edit)
• Register machine (links | edit)
• Scientific phenomena named after people (links | edit)
• Random-access machine (links | edit)
• Expression (mathematics) (links | edit)
• Μ operator (links | edit)
• Turing degree (links | edit)
• Turing reduction (links | edit)
• On Formally Undecidable Propositions of Principia Mathematica and Related Systems (links | edit)
• Structured program theorem (links | edit)
• Collectively exhaustive events (links | edit)
• Propositional formula (links | edit)
• Self-replicating machine (links | edit)
• Switch statement (links | edit)
• Brouwer–Heyting–Kolmogorov interpretation (links | edit)
• Yiannis N. Moschovakis (links | edit)
• Logics for computability (links | edit)
• Post–Turing machine (links | edit)
• Tautology (logic) (links | edit)
• Sol Garfunkel (links | edit)
• Algorithm characterizations (links | edit)
• Random-access stored-program machine (links | edit)
• Counter machine (links | edit)
• McCarthy Formalism (links | edit)
• Axiom of reducibility (links | edit)
• Kleene–Rosser paradox (links | edit)
• Brouwer–Hilbert controversy (links | edit)
• Timeline of mathematical logic (links | edit)
• Halting problem (links | edit)