Recursion theory

Linear logic Differential equation Second-order arithmetic Ambiguity Computability logic Formal system Leopold Löwenheim Computability Jon Barwise Analog computation Bertrand Russell Entscheidungsproblem Formal proof Gottlob Frege Necessary and sufficient condition S. Barry Cooper Philosophy of logic Diophantine equation Substitution (logic) Informal logic Philosophical analysis Gerhard Gentzen Doxastic logic Alan Turing Year Analog computer Boolean logic Turing machine Group (mathematics) Element (mathematics) Logical consequence Table of logic symbols Analog electronics Giuseppe Peano Truth Georg Cantor Theory (mathematical logic) Turing reduction Syllogism Consistency Paraconsistent logic Harvey Friedman Statement (logic) Turing degree Truth table Alan Ross Anderson Formalism (mathematics) Raymond Smullyan Yuri Matiyasevich Proposition Computability in Europe Thoralf Skolem Arithmetical reducibility Logical truth Pyotr Novikov Formal semantics Intuitionistic logic Aristotle Turing jump List of fallacies Domain of a function Oracle Turing machine International Standard Serial Number Rule of inference Alonzo Church First-order logic Predicate (mathematical logic) Formal theorem List of set theory topics Foundations of mathematics Antinomy Intuitionistic type theory Fictionalism Normal model Axiomatic system Formal methods Computable set Temporal logic Axiom Computational complexity theory Recursively enumerable Transformation rules Decidability (logic) Presupposition Augustus De Morgan Deontic logic Dynamical system Alfred North Whitehead Logical connective Semantics Heyting arithmetic Rhetoric Fuzzy set operations Formation rule Non-standard model Philosophical realism Soundness Relevance Philosophy Relevance logic Square of opposition Ackerman function Model of computation Metamathematics Effective descriptive set theory Arithmetic reducibility Mathscinet Computable function Recursively enumerable set Duns Scotus Hilary Putnam Meaning (linguistic) Analytic-synthetic distinction Constructive set theory Alan Turing Completeness Explanation Class (set theory) Theorem Probability Philosophy of mathematics Dialetheism Fuzzy rule Symbol (formal) Platonic realism Logic in computer science Decidable set Analog signal processing Formal language Identity element Mathematical Reviews Argument Quantification Predicate logic Mu-recursive function Chrysippus George Boolos Fuzzy logic Independence (mathematical logic) Permanent link to this revision of the page Evidence List of undecidable problems Maximal set Total function Ludwig Wittgenstein Control theory Haskell Curry Averroes Non-classical logic Recursive set Modal operator Inference Degree of constructibility (page does not exist) Description Subset Second order arithmetic

---

العربية - نظرية العودية
Deutsch - Berechenbarkeitstheorie
Español - Teoría de la computabilidad
עברית - תורת הרקורסיה
Italiano - Computabilità
日本語 - 再帰理論
Polski - Teoria rekursji
中文 - 递归论