#alan turing #theoretical computer science #computation theory #infinite loop #halting problem #computer science foundation