Teoría de la computación

El Problema de la Parada (Halting Problem): El programa definitivo que jamás se podrá crear