Como é que é?

O austríaco Kurt Gödel (em alemão, pronuncia-se AFI: [kʊʁt ˈɡøːdl̩] ouça) (Brünn, Áustria-Hungria[1], 28 de Abril de 1906 — Princeton, Estados Unidos, 14 de Janeiro de 1978) foi um matemático austríaco, naturalizado americano. É responsável por uma das curiosidades mais interessantes e bizarras da matemática. O “Teorema da incompletude” que leva seu nome tem duas teorias, mas a segunda delas é capaz de confundir a cabeça até do fã mais radical dessa ciência. Isto significa que se o sistema é auto-consistente, então existirão proposições que não poderão ser nem comprovadas nem negadas por este sistema axiomático. E se o sistema for completo, então ele não poderá validar a si mesmo — seria inconsistente. Calma, explicamos: uma fórmula não pode garantir sua própria existência – mas isso pode ser feito por outra verdade matemática, que dá continuidade ao ciclo. Que confusão!