A Prova de Gödel

Em 1931 Kurt Gödel publicou um trabalho que iria se constituir em um marco na história da lógica e da matemática. Seu caráter revolucionário - ao pôr em questão os fundamentos de ambas as ciências - mostrou-se também altamente instigador para a filosofia. Ernest Nagel e James R. Newman em "A Prova de Gödel" apresentam uma visão clara do problema para o não-especialista e fazem um breve resumo do pensamento lógico/matemático que antecedeu o artigo do autor austríaco. Até então tinha-se como as