Abstract

D'ALKAINE, C.V.. Os trabalhos de Gödel e as denominadas ciências exatas: em homenagem ao centenário do nascimento de Kurt Gödel. Rev. Bras. Ensino Fís. [online]. 2006, vol.28, n.4, pp. 525-530. ISSN 1806-1117.  http://dx.doi.org/10.1590/S0102-47442006000400015.

Após uma breve resenha da vida de Gödel, assinalando as origens de suas tradições intelectuais, são analisados o seu teorema da completude, o seu trabalho de tese, o teorema da incompletude e o teorema sobre a impossibilidade de demonstrar a consistência de sistemas formais complexos dentro do mesmo sistema formal. A seguir, são discutidas suas contribuições à independência da Hipótese do Contínuo e do Axioma de Escolha dos outros axiomas da teoria dos conjuntos. Nesse contexto são finalmente discutidas algumas idéias em relação à pequena influência que as contribuições de Gödel, para descrever alguns dos limites do pensamento racional, têm tido nas assim chamadas ciências exatas ou naturais, especialmente, Física e Química. Algumas reflexões são, nesse sentido, propostas.

Keywords : Gödel; teoremas; completude; incompletude; consistência; ciências exatas.