Post's theorem
Sign in to saveTheorem in computability theory
Connections
first-order logic
Entity
oracle machine
Entity
well-formed formula
Entity
Turing degree
Entity
International Standard Book Number
Entity
empty set
Entity
Turing machine
Entity
computability theory
Entity
indicator function
Entity
halting problem
Entity
truth value
Entity
arity
Entity
universal quantification
Entity
decision problem
Entity
Emil Leon Post
Entity
recursive set
Entity
undecidable problem
Entity
prefix code
Entity
prenex normal form
Entity
recursively enumerable set
Entity