Computability theory Backlinks Church-Turing thesis Halting probability Halting problem Turing Machine Turing degree Turing-completeness Kolmogorov complexity