Teoria da computação

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