A acolhida do Teorema da Incompletude de Gödel pelos matemáticos
Resumen
Neste artigo apresentamos nosso entendimento sobre como alguns matemáticos acolheram os resultados estabelecidos pelo Teorema da Incompletude de Gödel. Compreendemos que a postura assumida por Bourbaki e revelada em suas obras diz desse modo de como os matemáticos recepcionaram este importante teorema bem como suas implicações. A atitude é de seguir fazendo Matemática com o mesmo ideal de formalização completa, mesmo ante a prova da existência de um conjunto não vazio de proposições verdadeiras e indecidíveis e consequentemente da incompletude de toda teoria que contenha a aritmética de Peano em sua formalização. Apresentamos também a perspectiva de Wittgenstein em relação ao TIG. Por fim, entendemos que esse teorema é compreendido pela comunidade como mensageiro da incompletude como uma característica da Matemática, não como um impedimento para o prosseguimento da atividade com sistemas formais e sim como um resultado revigorante para a Matemática.
Citas
BICUDO, M. A. V. B. ; ANTÚNES, A. E. A. (Orgs). Fenomenologia, Psicopatologia e Neurociências: e a consciência? Seminários com Angela Ales Bello. Na Universidade de São Paulo. São Paulo: editora da USP, 2016. ISBN: 978-85-86736-69-8.
BOURBAKI, Nicolas. The Architecture of Mathematics. In: The American Mathematical Monthly. v. 57, n. 4, p. 221-232, 1950.
BOURBAKI, Nicolas. Theory of Sets: Elements of Mathematics 1. Paris: Hermann, 1968.
BOYER, Carl. B. História da Matemática. Tradução de E. F. Gomide. 2. ed. São Paulo: Edgard Blücher Ltda., 1996.
CALVINO, Ítalo. O Cavaleiro inexistente. São Paulo: Companhia das Letras, 2005.
CHANGEUX, Jean-Pierre; CONNES, Alain. Matéria pensante. Lisboa: Gradiva, 1996.
GÖDEL, Kurt. Acerca das Proposições Formalmente Indecidíveis dos Principia Mathematica e Sistemas Correlatos. In: LOURENÇO, M. (Org.). O Teorema de Gödel e a Hipótese do Contínuo. Lisboa: Fundação Calouste Gulberkian, 1977a. p. 245-290.
GÖDEL, Kurt. O que é o Problema do Continuo de Cantor? In: LOURENÇO, M. (Org.). O Teorema de Gödel e a Hipótese do Contínuo. Lisboa: Fundação Calouste Gulberkian, 1977b. p. 217-244.
GÖDEL, Kurt. Zur intuitionistischen Aritmetik und Zahlentheorie, Ergebnisse eines Mathematischen Kolloquiums, v.4, p. 43-38, 1933.
GOLDSTEIN, Rebeca. Incompletude: a prova e o paradoxo de Kurt Gödel. Tradução de I. Koytowski. São Paulo: Companhia das Letras, 2008.
GUERRERIO, Gianbruno. Gödel, um tímido iconoclasta. Scientific American Brasil. A vanguarda da matemática: e os limites da razão. São Paulo: Duetto Editorial Ltda. Edição revista e atualizada. Coleção gênios da ciência, n. 8, p. 39-67, 2012.
KLINE, Morris. Mathematics: The Loss of Certainty. Oxford: Oxford University Press, 1980.
LEVIN, Janna. Um louco sonha a máquina universal. Tradução de I. Korytowski. São Paulo: Conpanhia das Letras, 2009.
MASHAAL, Maurice. Foco na AXIOMÁTICA e nas estruturas. Scientific American Brasil. A vanguarda da matemática: e os limites da razão. São Paulo: Duetto Editorial Ltda. Edição revista e atualizada. Coleção gênios da ciência, n. 8, p. 88-98, dez. 2012.
MATHIAS, Adrian Richard David. The Ignorance of Bourbaki. The Mathematical inteligencer. v. 14, n. 3. p. 4-13, jun. 1992.
NAGEL, Ernest; NEWMAN, James, R. Prova de Gödel. Tradução de G. K. Guinsburg. São Paulo: Editora Perspectiva e Editora da Universidade de São Paulo, 1973.
ROQUE, Tatiana. História da matemática: uma visão crítica, desfazendo mitos e lendas. Rio de Janeiro: Zahar, 2012.
SILVA, Gustavo Augusto Fonseca. Observações sobre a Filosofia da Matemática de
Ludwig Wittgenstein. Griot: Revista de Filosofia. Amargosa, BA. v.17, n.1, p. 97-113, jun. 2018. ISSN 2178-1036.
Derechos de autor 2020 Perspectivas da Educação Matemática
Esta obra está bajo licencia internacional Creative Commons Reconocimiento-NoComercial-SinObrasDerivadas 4.0.