Explique a demonstração de Alan Turing sobre a indecidibilidade do Problema da Parada (Halting Problem). Discuta por que é impossível criar um algoritmo geral que determine, para qualquer par programa-entrada, se o programa eventualmente parará ou continuará rodando indefinidamente. Relacione isso com o conceito de limite na computação teórica.