Sobre a Revisão da Incompletude de Gödel e da Indecidibilidade de Turing do Problema da Parada

Este artigo estabelece uma fundação formal rigorosa para a interação entre a teoria das funções recursivas, a computabilidade de Turing e a Aritmética de Peano. Começamos construindo a classe de funções recursivas por meio de operações de fechamento, procedendo para formalizar sua aritmética através da numeração de Gödel e do Teorema da Enumeração. Baseando-nos na Tese de Church–Turing, demonstramos a existência de uma função recursiva parcial universal e sua correspondente Máquina de Turing Universal. O artigo então transita para o sistema formal da Aritmética de Peano, onde desenvolvemos uma numeração de Gödel detalhada da linguagem e de predicados metamatemáticos, possibilitando a representação interna da sintaxe e das estruturas de prova. Os principais resultados incluem a formalização do Teorema da Forma Normal de Kleene dentro da PA e uma análise abrangente da representabilidade de funções e predicados recursivos. Nas seções posteriores, empreendemos uma reexaminação granular dos mecanismos de autorreferência, explorando o comportamento estrutural da diagonalização sob várias restrições lógicas. Este trabalho serve como o primeiro em uma série de investigações sobre os fundamentos lógicos e filosóficos da matemática, da computabilidade e dos sistemas formais.