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

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...

Texto completo

• Assuntos:

  • Gödel
  • teoremas
  • completude
  • incompletude
  • consistência
  • ciências exatas