PROBLEMAS INDECIDÍVEIS E SUA RELAÇÃO COM A INTELIGÊNCIA ARTIFICIAL

O avanço da Inteligência Artificial (IA) levanta questões sobre seus limites computacionais. Este trabalho objetiva demonstrar Como os problemas indecidíveis, especificamente o Problema da Parada de Turing, impõem fronteiras teóricas à IA moderna. A metodologia adotada foi exploratória e experimental, utilizando revisão bibliográfica e simulações de Máquinas de Turing no software JFLAP para testar cenários de finitude e loops infinitos. Os resultados evidenciaram visualmente que não existe algoritmo universal capaz de prever a parada para todas as entradas, confirmando a indecidibilidade. Conclui-se que, por operarem sob a lógica da computabilidade, as IAs herdam as mesmas limitações matemáticas das Máquinas de Turing, sendo incapazes de resolver problemas logicamente indecidíveis.