Theory of Computation

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