Kurt Gödel 100 jaar

12 mei 2006 | Wat is waarheid en wat kunnen we van haar te weten komen? Dit zijn centrale vragen in de filosofie. De grote mathematicus en denker Kurt Gödel bestudeerde deze vragen waarbij hij zich concentreerde op wiskundige waarheden. Zijn bekendste resultaten zijn de onvolledigheidsstellingen. In zekere zin stellen deze theorema's dat het gat tussen de wiskundige waarheid en wat we van deze waarheid in een formeel systeem kunnen bewijzen heel groot is. Dit jaar is het honderd jaar geleden dat Gödel geboren is en met een Utrechts symposium wordt hem en zijn werk eer betoond.