Cenário do Surgimento e o Impacto do Teorema da Incompletude de Gödel na Matemática

Resumo

Este artigo trata do panorama das discussões matemáticas mantidas entre os matemáticos à época em que Gödel apresentou à comunidade matemática seu teorema da incompletude. Argumenta-se que o Teorema da Incompletude de Gödel (TIG) é um teorema mais para a alma do que para as mãos dos matemáticos. Afirma-se ser ele importante porque mostra que a Matemática não pode comunicar (provar) todas as suas verdades. Porém, as provas de que a aritmética básica dos naturais é incompleta e incompletável e da impossibilidade de demonstrar a sua não contradição não impossibilita que a Matemática continue sendo produzida. A linha de argumentação exposta segue apresentando: o cenário matemático vigente no momento da publicação do TIG; o ponto de incidência deste resultado na Matemática, o impacto deste teorema nesta ciência, bem como, como ele foi compreendido e acolhido pelos matemáticos.

Palavras-chave: Teorema da Incompletude de Gödel (TIG). Problema da Compatibilidade da Aritmética. Programa de Hilbert. Método Axiomático.

Abstract
This article deals with the panorama of the mathematical discussions held among mathematicians at the time when Gödel introduced his incompleteness theorem to the mathematical community. It is argued that Gödel’s Incompleteness Theorem (TIG) is a more theorem for the soul than for the hands of mathematicians. It is said to be important because it shows that Mathematics can’t communicate (prove) all its truths. However, evidence that the basic arithmetic of the natural is incomplete and incomplete and that it is impossible to demonstrate its non-contradiction does not preclude mathematics from being produced. The line of argument exposed continues presenting: the mathematical scenario in force at the time of the publication of the TIG; The point of incidence of this result in Mathematics, the impact of this theorem on this science, as well as how it was understood and welcomed by mathematicians.

Keywords: Gödel’s Incompleteness Theorem. Hilbert’s Second Problem. Hibert’s Program. Axiomatic Method.