Do sentido de beleza em Matemática e do que se mostrou belo para nós na demonstração dos teoremas da incompletude de Gödel

Rosemeire de Fatima Batistela

doi:10.23925/1983-3156.2022v24i2p618-646

Autores/as

Rosemeire de Fatima Batistela Universidade Estadual de Feira de Santana - UEFSFeira de Santana/BA, Brasil https://orcid.org/0000-0003-2779-7251

DOI:

https://doi.org/10.23925/1983-3156.2022v24i2p618-646

Palabras clave:

demostraciones matemáticas, evidencia clara, teoremas de incompletitud, fenomenologia

Resumen

En este artículo presentamos un estudio que tuvo como pregunta orientadora: ¿Qué es la belleza en Matemática y la belleza del teorema de Gödel? Buscamos presentar contenido identificable para lo que entendemos como belleza en el teorema de incompletitud de Gödel. Para ello se realizó un estudio bibliográfico y se traen y articulan diferentes nociones de belleza en Matemática. También presentamos nuestra comprensión de la belleza en el teorema de Gödel. Entendemos que el significado de belleza matemática de un teorema es el de una iluminación que evidencia el resultado. Además, comprendemos que esa luz se deja ver en la medida en que se está familiarizado con la teoría y con las herramientas utilizadas en la demostración, para el punto de poder percibir los axiomas utilizados, la concisión de la demostración, la originalidad de la articulación de ideas, las posibilidades de generalización del resultado y la apertura de nuevas frentes de investigación. También entendemos que el conocimiento construido por Gödel en la elaboración de su teorema de completitud fue fundamental en la visión del problema de la consistencia de la aritmética y en el enfoque elegido para demostrar la consistencia de la aritmética, que se convirtió en la demostración de la incompletitud de la teoría de la aritmética.

Biografía del autor/a

Rosemeire de Fatima Batistela, Universidade Estadual de Feira de Santana - UEFSFeira de Santana/BA, Brasil

Departamento de Ciências Exatas - Área de Educação Matemática

Citas

Batistela, R. F., Barbariz, T. A. M., Lazari, H. (2016). Um estudo sobre demonstração matemática por/com computador. Revemat, 11, p. 204-215.

Becker, O. (1965). Os limites do pensamento matemático. In: O. Becker. O pensamento matemático: suas grandezas e seus limites (pp. 114-189). Herder Editorial.

Bicudo, M. A. V., & Klüber, T. E. (2021) Experiências Estéticas em Educação Matemática: um olhar fenomenológico. In: R. S. R. SILVA & R. C. Idem (orgs.). Experiências Estéticas em Educação Matemática (pp. 25-80). Editora Fi.

Bourbaki, N. (1950). The Architecture of Mathematics. The American Mathematical Monthly, 57 (4), p. 221-232.

Brolezzi, A. C., & Ota, I. N. N. (2018). Arte, Educação Matemática e Empatia: algumas reflexões. Revemat, 13 (2), p. 228-249. https://periodicos.ufsc.br/index.php/revemat/article/view/1981-1322.2018v13n2p228

Chaitin, G. J. (2002). Conversations with a Mathematician: Math, Art, Science and the Limits of Reason. Springer-Verlag London.

Da Silva, J. J. (2007). Filosofias da Matemática. Editora UNESP.

Davis, M. (2005). What Did Gödel Believe and When Did He Believe It? The Bulletin of Symbolic Logic, 11(2), p. 194-206.

Ferreira, F. (1995). No paraíso, sem convicção… uma explicação do programa de Hilbert. In J. F. Coelho (org.). Matemática e Cultura II. Lisboa: Centro Nacional de Cultura e SPB Editores.

Ghys, E. (2015). A beleza da matemática. Palestra para Academia Brasileira de Ciências. https://www.abc.org.br/2015/05/15/a-beleza-da-matematica

Gödel, K. (1977). Acerca das Proposições Formalmente Indecidíveis dos Principia Mathematica e Sistemas Correlatos. In M. Lourenço (org.). O Teorema de Gödel e a Hipótese do Contínuo (pp. 245-290). Fundação Calouste Gulberkian.

Goldstein, R. (2008). Incompletude: a prova e o paradoxo de Kurt Gödel. Tradução de I. Koytowski. Companhia das Letras.

Hintikka, J. (2000). On Gödel. Wadsworth/Thomson Learning.

Kant, I. (1995). Crítica da faculdade do juízo. Tradução de Valério Rohden e António Marques. Editora Forense Universitária

Poincaré, J. H. (1946). Ciencia y método. Espasa-Calpe Argentina S. A.

Poincaré, J. H. (1984). A Ciência e a Hipótese. Tradução de Maria Auxiliadora Kneipp. Editora Universidade de Brasília.

Rota, G. C. (1997). The Phenomenology of Mathematical Beauty. Synthese, 11 (2), p. 171-182.

Silva, R. S. R., & Idem, R. C. (2021). Experiências Estéticas em Educação Matemática: Apresentação. In: R. S. R. SILVA & R. C. Idem (orgs.). Experiências Estéticas em Educação Matemática (pp. 25-51). Editora Fi.

Zeki, S., Romaya, J. P., Benincasa, D. M. T., Atiyah, M. F. (2014). The experience of mathematical beauty and its neural correlates. Frontiers in Human Neuroscience. 8 (Artigo 68), p. 1-12.