Este post é em honra ao senhor Kurt Gödel, pela comemoração do centenário do seu nascimento, que está a ser celebrada em todos os cantos do mundo. (Ouvi dizer que até vai haver uma festa no praxis em sua honra, cuja fonte - teixa - poderá confirmar)