Problemas indecidíveis e sua relação com a inteligência artificial
Palabras clave:
máquina de turing, Problemas indecidíveis, Teoria da computação, Problema do desfile, Inteligência artificialResumen
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.
Descargas
Citas
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.
Descargas
Publicado
Cómo citar
Número
Sección
Licencia
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.
