Computability theory Links to this note Church-Turing thesis Computability theory Halting probability Halting problem Kolmogorov complexity Turing degree Turing Machine Turing-completeness