Os trabalhos de Gödel e as denominadas ciências exatas: em homenagem ao centenário do nascimento de Kurt Gödel

• Autor(a) principal: D'Alkaine,C.V.
• Data de Publicação: 2006
• Tipo de documento: Artigo
• Idioma: por
• Título da fonte: Revista Brasileira de Ensino de Física (Online)
• Texto Completo: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S1806-11172006000400015
• topic: Gödel; teoremas; completude; incompletude; consistência; ciências exatas

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.