Everything you always wanted to know about... De onvolledigheidsstellingen van Gödel Kun je een systeem maken waarmee alle wiskundige waarheden kunnen worden bewezen? Kurt Gödel liet zien dat het niet kan. Prof.dr. Erik Krabbe vertelt over Gödels onvolledigheidsstellingen: 'Rekenkunde is onvolledig' en 'Rekenkunde kan haar consistentie niet bewijzen'. http://studium.hosting.rug.nl/activiteiten%202005/everything-godel.htm Maandag 11 april, 16.30 - 17.30 uur Academiegebouw, Broerstraat 5, Groningen Toegang gratis Informatie Studium Generale Groningen Kleine Kromme Elleboog 7a1 (050) 363 5463 [log in to unmask] http://www.rug.nl/studium