De zekerheid van wiskunde
De xkcd comic van vandaag is grappig, maar natuurlijk niet helemaal correct. De fundamenten van de wiskunde zijn helemaal niet zo zeker als je zou denken, weten we sinds Kurt Gödel met zijn onvolledigheidsstellingen Hilberts formalistische programma een dreun gaf. Bertrand Russell had het hier ook moeilijk mee, beschrijft hij in zijn boek Portraits from Memory.
Post a Comment