Defina formalmente o Problema da Parada: dado um programa P e uma entrada I, P eventualmente para quando executado com I? Construa uma prova por contradição (diagonalização) assumindo que existe uma máquina de Turing H que resolve o problema da parada. Crie um programa D que usa H para gerar uma contradição lógica. Conclua explicando o significado do Teorema da Incompletude de Gödel no contexto dos sistemas computacionais.