"O que eu estou dizendo não pode ser provado." — Kurt Gödel

Ele fez isso dentro de sistemas individuais de matemática — e concluiu que se a declaração era provável dentro desse sistema particular, então a fórmula era falsa.

O que você acha que isso diz sobre a mente humana e a nossa capacidade de compreender o mundo?