Cuidado com ‘Teorias de Tudo’
em 1931, Kurt Gödel tinha provado o seu segundo teorema da incompletude, que afirma que um sistema de lógica formal não pode provar-se consistente. Este teorema lança água fria sobre a derradeira capacidade de provar “teorias de tudo”, que se tornaram moda na física teórica. …