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 assente ser possível uma formalização absoluta da matemática. Gödel contudo prova ser esta pressuposição insustentável. A matéria é ainda bastante enriquecedera para os atuais estudos das relações entre língua e pensamento, língua e faculdade operativa, estrutura mental e estrutura computacional.