Problemas indecidíveis e sua relação com a inteligência artificial
Palavras-chave:
máquina de turing, Problemas indecidíveis, Teoria da computação, Problema do desfile, Inteligência artificialResumo
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.
Downloads
Referências
OLIVEIRA, I. C. Complexidade computacional e o problema P vs NP. 2010. Dissertação (Mestrado em Ciência da Computação) – Instituto de Computação, Universidade Estadual de Campinas (UNICAMP), Campinas, 2010.
BACHO, A.; BOCHE, H.; KUTYNIOK, G. Reliable AI: Does the Next Generation Require Quantum Computing? arXiv preprint arXiv:2307.01301, 2023. Disponível em: https://arxiv.org/abs/2307.01301. Acesso em: 18 out. 2025.
DEAN, W.; NAIBO, A. Artificial intelligence and inherent mathematical difficulty. arXiv preprint arXiv:2408.03345, 2024. DOI: 10.48550/arXiv.2408.03345. Disponível em: https://doi.org/10.48550/arXiv.2408.03345. Acesso em: 18 out. 2025.
D. C. Lobo. 2013. Problemas indecidíveis. Dissertação de Mestrado em Matemática (Especialização em Computação), Universidade de Coimbra. Disponível em: https://estudogeral.uc.pt/bitstream/10316/33698/1/Problemas%20indecidiveis_DianaLobo.pdf
LOFF, Bruno. A tese de Church–Turing. Boletim da SPM, n. 67, p. 61-78, out. 2012.
SIPSER, Michael. Introdução à teoria da computação. 3.Ed. São Paulo: Cengage Learning, 2014.
TURING, A. M. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, série 2, v. 42, n. 1, p. 230–265, 1936. Disponível em: https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/plms/s2-42.1.230
QUARESMA, Alexandre Quaresma. Artificial intelligences and the limits of computing. PAAKAT: Revista de Tecnología y Sociedad, v. 8, n. 15, p. 1–16, set. 2018. DOI: 10.32870/Pk.a8n15.338.
Downloads
Publicado
Como Citar
Edição
Secção
Licença
Os trabalhos publicados passam a ser propriedade da REER, devendo após a publicação ser informada a respectiva fonte.
O conteúdo, bem como as opiniões nos artigos são de exclusiva responsabilidade dos autores.
