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