pas op voor ‘Theories of Everything’
In 1931 had Kurt Gödel zijn tweede onvolledigheidsstelling bewezen, die stelt dat een formeel logisch systeem zichzelf niet consistent kan bewijzen. Deze stelling werpt koud water op het uiteindelijke vermogen om “theorieën van alles” te bewijzen, die in de theoretische fysica in de mode zijn …