Os trabalhos de Gödel e as denominadas ciências exatas: em homenagem ao centenário do nascimento de Kurt GödelResumo
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.
Gödel; teoremas; completude; incompletude; consistência; ciências exatas