Turing's proof typically refers to Alan Turing's demonstration of the undecidability of the Halting Problem. The Halting Problem asks whether a given program will eventually halt (finish its execution) or will run indefinitely when provided with a specific input. In his seminal 1936 paper, Turing showed that there is no general algorithm that can solve the Halting Problem for all possible program-input pairs.
New to topics? Read the docs here!