Explique o Problema da Parada (Halting Problem) e forneça uma prova da sua indecidibilidade usando o método da diagonalização ou uma redução ao absurdo. Discuta as implicações filosóficas deste resultado: existem verdades matemáticas que não podem ser provadas por nenhum algoritmo ou sistema formal?