Kurt Gödel abalou os fundamentos da matemática provando que qualquer sistema formal consistente e suficientemente complexo para incluir a aritmética é necessariamente incompleto.
O teorema da incompletude de Gödel
O Problema da Decisão
Paris, 1900. Diante de uma plateia que reunia a elite intelectual da Europa, David Hilbert (1862 — 1943) traçou um programa para o futuro da matemática. O famoso matemático de Göttingen queria fundamentos inabaláveis. A matemática, pensava, poderia ser erguida como uma catedral lógica: completa, consistente, irrefuável, formalmente segura contra paradoxos. As 23 "Questões de Hilbert"... Continuar Lendo →