"The first mortal blow to Hilbert’s program was dealt by a 25 year old Austrian named Kurt Gödel with his incompleteness theorems, which used logic to kill logic. Essentially, he proved that any formal system could be complete or consistent, but not both."Interessante, pensei logo no destino da Igreja Anglicana... a caminho da morte por causa do fim do misterioso a favor da razão e o racionalismo em tudo.
Trecho retirado de "The Uncertainty Problem"
Sem comentários:
Enviar um comentário