Beware of 'Theories of Everything’
do 1931 roku Kurt Gödel udowodnił swoje drugie twierdzenie o niekompletności, które mówi, że formalny system logiczny nie może okazać się spójny. Twierdzenie to rzuca zimną wodą na ostateczną zdolność do udowodnienia „teorii wszystkiego”, które stały się modne w fizyce teoretycznej. Oznacza to, że jakakolwiek …