Theory-of-Computation

Turing Machines and Computability Theory: Alan Turing's Thought Experiment and the 'Halting Problem'