Recursion Theory
- Entscheidungsproblem
- Decision problem
- Decidability (logic)
- Church-Turing thesis
- Computable function
- Algorithm
- Recursion
- Primitive recursive function
- Mu operator
- Ackermann function
- Turing machine
- Halting problem
- Computability theory, computation
- Herbrand Universe
- Markov algorithm
- Lambda calculus
- Church-Rosser theorem
- Calculus of constructions
- Combinatory logic
- Post correspondence problem
- Kleene's recursion theorem
- Recursively enumerable set
- Recursively enumerable language
- Decidable language
- Undecidable language
- Rice's theorem
- Post's theorem
- Turing degree
- Effective results in number theory
- Diophantine set
- Matiyasevich's theorem
- Word problem for groups
- Arithmetical hierarchy
- Subrecursion theory
- Presburger arithmetic
- Computational complexity theory
- Polynomial time
- Exponential time
- Complexity class
- Complexity classes P and NP
- Cook's theorem
- List of complexity classes
- Polynomial hierarchy
- Exponential hierarchy
- NP-complete
- Time hierarchy theorem
- Space hierarchy theorem
- Natural proof
- Hypercomputation
- Oracle machine
- Alonzo Church
- Emil Post
- Alan Turing
- Jacques Herbrand
- Haskell Curry
- Stephen Cole Kleene
- Definable real number
Read more about this topic: List Of Mathematical Logic Topics
Famous quotes containing the word theory:
“No one thinks anything silly is suitable when they are an adolescent. Such an enormous share of their own behavior is silly that they lose all proper perspective on silliness, like a baker who is nauseated by the sight of his own eclairs. This provides another good argument for the emerging theory that the best use of cryogenics is to freeze all human beings when they are between the ages of twelve and nineteen.”
—Anna Quindlen (20th century)