Atue como um matemático teórico. Explique o Problema da Parada (Halting Problem) demonstrado por Alan Turing. Detalhe o argumento da diagonalização ou o método de redução ao absurdo usado para provar que é impossível criar um algoritmo geral que determine, para qualquer programa e entrada, se o programa irá terminar ou rodar para sempre.