Theory of computation
Mathematical logic
Turing machine
Computable number
Computable function
Entscheidungsproblem
Definable real number
Function
Turing machine examples
Computability theory
Theoretical computer science
Mathematics