Una mirada a las condiciones sociohistóricas del surgimiento y demostración del teorema de incompletitud de Gödel en 1931

Palabras clave: Teoremas de imposibilidad, Metamatemáticas, Crisis de la Fundación de las Matemáticas, Teorema de incompletitud de Gödel, Investigación Cualitativa

Resumen

Este artículo expone las principales cuestiones que, a nuestro entender, movieron los esfuerzos de los matemáticos en el momento de la demostración del teorema de incompletitud de Gödel, buscando mostrar que las herramientas matemáticas disponibles hasta ese momento fueron fundamentales para la elaboración de la demostración de Gödel. Así, este texto aborda este resultado junto con otros teoremas de imposibilidad de las Matemáticas y destaca que la metamatemática era conocida por Gödel y que esto no estaba claro para los autores de las pruebas de imposibilidad de los problemas clásicos de la Antigüedad. Además, exponemos que las pruebas finitas y los sistemas formales completos requeridos en el programa de Hilbert no pueden existir. Se trata de un estudio teórico de carácter bibliográfico realizado desde la perspectiva de un enfoque cualitativo. En la dimensión personal, la demostración de incompletitud se construyó como consecuencia del deseo/necesidad de obtener el título de Privatdozent en la Universidad de Viena y el esfuerzo inicial por demostrar la consistencia del análisis que se transmutó en otros problemas. Finalmente, presentamos que este teorema fue demostrado en 1931 principalmente porque Gödel conocía la existencia de pruebas de imposibilidad, distinguía las matemáticas de las metamatemáticas y buscaba atacar un problema de consistencia de la aritmética que estaba relacionado con la aritmética de los campos de las Matemáticas.

Descargas

La descarga de datos todavía no está disponible.

Biografía del autor/a

Rosemeire de Fatima Batistela, Universidade Estadual Paulista
Licenciada em Matemática pela Universidade Estadual Paulista, campus de Rio Claro/SP. Mestrado e Doutorado em Educação Matemática pelo Programa de Pós-graduação em Educação Maemática da UNESP de Rio Claro/SP. Atualmente é professora Adjunta da área de Educação Matemática do Departamento de Ciências Exatas da Universidade Estadual de Feira de Santana (UEFS).

Citas

Abrahão, F. S. (2011). Demonstrando a Consistência da Aritmética. (Dissertação de mestrado). Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia. Universidade Federal do Rio de Janeiro, Rio de Janeiro, RJ. Recuperado de https://doi.org/10.5281/zenodo.1213459
Batistela, R. F., Bicudo, M. A. V. & Lazari, H. (2017). O Cenário do Surgimento e o Impacto do Teorema da Incompletude de Gödel na Matemática. Jornal Internacional de Estudos em Educação Matemática, 10(3), 198-207. https://doi.org/10.17921/2176-5634.2017v10n3p198-207
Bicudo, M. A. V. (2011). Aspectos da pesquisa qualitativa efetuada em uma abordagem fenomenológica. In Maria Aparecida Viggiani Bicudo. (Org.). Pesquisa qualitativa segundo uma visão fenomenológica (pp. 29-40). São Paulo, SP: Editora Cortez.
Crippa, D. (2010). A solução cartesiana da quadratura do círculo. Scientiae studia, 8(4), 597-621. https://doi.org/10.1590/S1678-31662010000400005
Crippa, D. (2014). O Papel da impossibilidade na Matemática Clássica. Minicurso realizado na Faculdade de Filosofia e Ciências Humanas da Universidade Federal da Bahia.
D’Ambrósio, U. (2005). Etnometodologia, Etnomatemática, transdisciplinaridade: embasamentos crítico-filosóficos comuns e tendências atuais. Revista Pesquisa Qualitativa, 1(1), 155-167. https://editora.sepq.org.br/rpq/article/view/12
Doxiadis, A. (2001). Tio Petrus e a conjectura de Goldbach. Lisboa: Editora 34.
Feferman, S. (2006). The Impact of the Incompleteness Theorems on Mathematics. Notices American Mathematical Society, 53(4), 434-439.
Goldstein, R. (2008). Incompletude: a prova e o paradoxo de Kurt Gödel. Tradução de I. Koytowski. São Paulo: Companhia das Letras.
Hilbert, D. (2003). Problemas matemáticos: Conferência proferida no 2º Congresso Internacional de Matemáticos realizado em Paris em 1900. Revista Brasileira de História da Matemática. Tradução de S. Nobre. 3(5), 5 -12. https://doi.org/10.47976/RBHM2003v3n505-12
Lannes, W. (2009). A incompletude além da matemática: impactos culturais do teorema de Gödel no século XX. (Tese de doutorado). Programa de Pós-graduação em História, Universidade Federal de Minas Gerais, Belo Horizonte, MG. Recuperado de http://hdl.handle.net/1843/VGRO-82THEU
Lannes, W. (2014). Sobre as implicações do Teorema de Gödel na organização social de Matemáticos e Lógicos no Século XX. In Anais do XIV Seminário Nacional de História da Ciência e da Tecnologia. Belo Horizonte, MG. Recuperado de https://www.14snhct.sbhc.org.br/arquivo/download?ID_ARQUIVO=1919
Lützen, J. (2010). The Algebra of Geometric Impossibility: Descartes and Montucla on the Impossibility of the Duplication of the Cube and the Trisection of the Angle. Centaurus, 52(1), 4-37. https://doi.org/10.1111/j.1600-0498.2009.00160.x
MENDELSON, E. (1964). Introduction to Mathematical Logic. (2a ed.). Princeton, New Jersey: D. Van Nostrand Company, Inc.
Nagel, E., & Newman, J. R. (1973). Prova de Gödel. Tradução de Gita K. Guinsburg. São Paulo: Editora Perspectiva e Editora da Universidade de São Paulo.
Ramos, L. S. P. (2019). A demanda por demonstrações de consistência nos fundamentos da matemática. (Dissertação de mestrado). Programa de Pós-Graduação em Metafísica, Universidade de Brasília, Brasília. Recuperado de https://repositorio.unb.br/handle/10482/35257
Stępień, T. J., & Stępień, Ł. T. (2017). On the Consistency of the Arithmetic System. Journal of Mathematics and System Science, 7(2), 43-55. . https://doi.org/10.17265/2159-5291/2017.02.001
Wang, H. (1981). Some Facts About Kurt Gödel. The Journal of Symbolic Logic, 46(3), 653-659. https://www.jstor.org/stable/2273764
Publicado
2022-05-01
Métricas
  • Visualizaciones del Artículo 39
  • PDF downloads: 34
Cómo citar
Fatima Batistela, R. de. (2022). Una mirada a las condiciones sociohistóricas del surgimiento y demostración del teorema de incompletitud de Gödel en 1931. PARADIGMA, 43(2), 454-470. https://doi.org/10.37618/PARADIGMA.1011-2251.2022.p454-470.id1234