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
http://www.rug.nl/studium