Halting problem tags Computability theory Links to this note Gödel's theorem Halting probability Zuse's thesis