Proof by Alan Turing
Turing's proof
Dowód Turinga