In 1906 werd Kurt Gödel geboren, midden in wat newscientist.com omschrijft als "de grootste crisis die de wiskunde ooit heeft gekend". Enkele decennia later zou deze logicus en wiskundige deze crisis helpen oplossen, maar daarmee tegelijkertijd wiskundigen veroordelen tot een kleinere wereld dan die ervoor bestond. Zijn onvolledigheidsstelling blijkt vandaag een fundamentele waarheid over de grenzen van wiskundige kennis.
Een crisis in de fundamenten
Aan het einde van de 19e eeuw begonnen wiskundigen de fundamenten van hun vakgebied te onderzoeken en ontdekten al snel dat het intellectuele bouwwerk van de afgelopen 3000 jaar op drijfzand was gebouwd. Onhandelbare paradoxen doken op en wiskundigen raakten in paniek over de stabiliteit van hun discipline.
Bij het aanbreken van de 20e eeuw besloot één man de chaos te bestrijden. Tijdens een conferentie in Parijs in 1900 presenteerde wiskundige David Hilbert een lijst van 23 onopgeloste problemen in de wiskunde, zoals newscientist.com. "Zolang een tak van wetenschap een overvloed aan problemen biedt, is zij levend," vertelde hij het publiek.
Het tweede probleem van Hilbert zou later Gödels aandacht trekken. Het betrof de axioma's van een bepaald wiskundig domein – in essentie de aannames die dienen als spelregels en logische afleidingen mogelijk maken. Hilbert wilde dat wiskundigen zouden bewijzen dat deze axioma's consistent waren en compleet.
De onvolledigheidsstelling
Gödels onvolledigheidsstelling plaatst fundamentele grenzen aan wiskundige verkenning. Volgens arxiv.org leidde Hilberts vraag om alle wiskunde te formaliseren uiteindelijk tot een paradoxale uitkomst. Het waren Gödel en Alan Turing die aantoonden dat dit niet volledig kon worden gedaan in de precieze technische zin die Hilbert voor ogen had.
De stelling stelt in essentie dat in elk consistent wiskundig systeem dat krachtig genoeg is om elementaire rekenkunde te beschrijven, er altijd waar stellingen zijn die niet bewezen kunnen worden binnen dat systeem. Dit betekent dat wiskunde als intellectueel raamwerk niet de oneindige cognitieve perpetuum mobile is die het leek te zijn.
Impact op wetenschap en technologie
Hoewel Gödels werk de grenzen van wiskundige bewijsvoering blootlegde, had het paradoxaal genoeg ook een enorme technologische impact. Zoals arxiv.org betoogt, is er enige waarheid in de stelling dat de digitalisering van onze samenleving voortkwam uit Hilberts filosofische vraag. Alan Turing ontwikkelde de computer deels om licht te werpen op deze fundamentele vraag over de grondslagen van de wiskunde.
De formalisering van algoritmes, in plaats van de formalisering van redeneren, werd de grote technologische triomf van onze tijd – in de vorm van computerprogrammeertalen. Wanneer men terugkijkt naar papers van logici uit het begin van de 20e eeuw die de grondslagen van wiskunde bestudeerden, blijken deze wat we nu herkennen als programmeertalen te bevatten.
Bredere discussie over wiskunde
De impact van rigoureuze wiskundige benaderingen reikt verder dan de zuivere wiskunde zelf. In academische kringen wordt gedebatteerd over hoe wiskundige strengheid andere wetenschappen beïnvloedt. physicsforums.com tonen aan dat sommige studenten worstelen met de overgang van rigoureuze wiskundige studies naar velden die als minder intellectueel veeleisend worden ervaren.
Tegelijkertijd blijft de vraag hoe wiskundeonderwijs kan worden verbeterd actueel. claremont.edu onderzoekt waarom wiskunde voor zoveel mensen wordt "verpest" en biedt oplossingen om het vak voor iedereen plezierig te maken.
Blijvende erfenis
Vandaag wordt Gödels onvolledigheidsstelling geaccepteerd als onderdeel van de wiskundige canon, maar het was een bom onder de discipline toen het voor het eerst werd geïntroduceerd. Het werk van deze logicus, wiskundige en filosoof – die door newscientist.com wordt omschreven als "verwoester" – stond in direct contrast met het werk van één van de grootste geesten in de wiskunde en beperkte het vakgebied voor altijd.
Toch blijft wiskunde als intellectueel raamwerk ongelooflijk krachtig. Het hele punt is het nemen van één set logische ideeën en deze gebruiken om een andere te bouwen. Gödels werk toonde aan dat er grenzen zijn aan deze cognitieve machine, maar daarmee maakte hij ook duidelijk wat wél mogelijk is binnen die grenzen – en dat blijkt nog steeds een onmetelijk rijk domein te zijn.