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