De onvolledigheidsstelling van Gödel / 15 mrt








De onvolledigheidsstelling van Gödel





Precies 100 jaar geleden zag Kurt Gödel het levenslicht. Op 25 jarige leeftijd lanceerde deze briljante logicus zijn ‘onvolledigheidsstelling’, die grofweg inhoudt dat er binnen het axiomatische systeem van de rekenkunde ware stellingen zijn die we niet kunnen bewijzen. Dit druiste in tegen heersende veronderstellingen, ook bij voorstaande wiskundigen. De stelling sloeg dan ook in als een bom.


Prof. dr. Kees Hoede, emeritus hoogleraar wiskunde aan de UT, zal in een uur tijd deze stelling toelichten, tegen de achtergrond van enige elementaire voorbeelden uit de logica en wiskunde. Tevens zal hij ingaan op de verstrekkende gevolgen van Gödels inzichten.


Woensdag 15 maart. Vrijhof/Amphitheater, 16.00-17.00 uur. Aanmelden vooraf is niet mogelijk.