Theoretical computer science
Mathematical logic
Computable function
Church–Turing thesis
Function
Computability
Computability theory
Theory of computation
Mathematics