Alan Turing

Problema da Paragem (Halting Problem): O programa perfeito que é impossível criar