Een van de verhelderendste manieren om over zuivere wiskunde na te denken is deze:
de creativiteit van de wiskunde ligt vooral op het niveau van kaders, terwijl objectieve waarheid verschijnt zodra zo’n kader is vastgelegd.
Die gedachte helpt verklaren waarom de wiskunde tegelijk uitgevonden en ontdekt lijkt te worden. In de ene zin wordt zij uitgevonden, in de andere ontdekt. Wij introduceren definities, axioma’s, formele talen en nieuwe theoretische perspectieven. Maar zodra die er zijn, beslissen wij niet meer vrij wat waar is. Dan begint de waarheid weerstand te bieden. Zij treedt ons tegemoet als iets dat gevonden moet worden, niet gemaakt.
De zuivere wiskunde is opmerkelijk vrij. Een wiskundige kan een nieuwe structuur definiëren, nieuwe axioma’s invoeren, een oud begrip veralgemenen, of onderzoeken wat er volgt wanneer een vertrouwde aanname wordt losgelaten. Men kan de euclidische meetkunde bestuderen, maar ook de hyperbolische. Men kan werken met klassieke logica, maar ook met intuitionistische. Men kan vertrekken vanuit ZFC, type theory, categorietheorie, of een zwakker of sterker funderingssysteem.
In die zin is de zuivere wiskunde werkelijk creatief. Zij registreert niet slechts passief een reeds gegeven wereld. Zij bouwt conceptuele ruimten op. Zij stelt nieuwe spelen, nieuwe talen, nieuwe architecturen van denken voor. Er is niet één enkel spoor dat het mathematisch denken noodzakelijk moet volgen.
Daarom lijkt de wiskunde soms anti-platonische intuïties te ondersteunen. Een groot deel ervan ziet er duidelijk uit als menselijk constructiewerk. Nieuwe theorieën worden ingevoerd omdat zij elegant, vruchtbaar, vereenvoudigend, verenigend of suggestief zijn. Wiskundigen stoten niet zomaar op kant-en-klare objecten; vaak bouwen zij eerst de context waarin zulke objecten zichtbaar worden.
En toch is dat slechts de helft van het verhaal.
Zodra een kader is vastgelegd, maakt vrijheid plaats voor noodzakelijkheid.
Stel dat wij een groep definiëren. Wij zijn vrij om de axioma’s van de groepentheorie in te voeren. Maar zodra die axioma’s aanvaard zijn, is het niet langer een kwestie van smaak of elke groep een uniek neutraal element heeft. Dat wordt niet gekozen; het wordt bewezen. Hetzelfde geldt in meetkunde, getaltheorie, topologie of verzamelingenleer. Wij mogen het uitgangspunt kiezen, maar niet de gevolgen.
Daar verschijnt de objectiviteit.
De wiskundige kan de regels van een ruimte ontwerpen, maar binnen die ruimte is waarheid niet willekeurig. Zij wordt door structuur beperkt. Een stelling is niet waar omdat wij haar verkiezen. Zij is waar omdat zij volgt. In die zin is de wiskunde niet subjectief, zelfs wanneer zij creatief is. Haar creativiteit is voorafgaand: zij ligt in het ontwerpen van het kader. Haar objectiviteit verschijnt daarna, in de interne logica van dat kader.
Dat onderscheid is cruciaal. Zonder dat onderscheid vervalt men gemakkelijk in een vals dilemma:
ofwel wordt de wiskunde ontdekt en is zij dus objectief,
ofwel wordt zij uitgevonden en is zij dus arbitrair.
Maar de wiskunde is noch louter ontdekt, noch louter uitgevonden. Zij wordt uitgevonden in haar kaders en ontdekt in haar consequenties.
Een eenvoudig voorbeeld is de meetkunde.
Eeuwenlang werd de euclidische meetkunde opgevat als dé meetkunde. Later werden niet-euclidische meetkunden ontwikkeld. Op het eerste gezicht lijkt dat de objectiviteit van de wiskunde te verzwakken. Als meerdere meetkunden mogelijk zijn, is meetkunde dan niet gewoon een menselijke conventie?
Maar die conclusie is te snel. De echte les is subtieler. Wat werd aangetoond, is niet dat de meetkunde geen waarheid bezit, maar dat er meerdere legitieme kaders zijn. Zodra men euclidische axioma’s kiest, volgen bepaalde stellingen. Zodra men hyperbolische axioma’s kiest, volgen andere. De vrijheid ligt in de keuze van het kader; de objectiviteit ligt in wat elk kader inhoudt.
Hetzelfde geldt in de algebra. Wij definiëren ringen, lichamen, vectorruimten, categorieën en topossen. Dat zijn menselijk ingevoerde conceptuele structuren. Maar eenmaal ingevoerd, zijn hun eigenschappen niet langer aan ons. Men kan een lichaam definiëren; men kan niet eenvoudig decreteren dat deling door nul daarin toegestaan is zonder de structuur zelf te veranderen.
Zelfs de rekenkunde, vaak gezien als het meest objectieve deel van de wiskunde, kan in dit licht worden bekeken. De natuurlijke getallen voelen misschien minder uitgevonden dan andere domeinen, meer alsof zij eenvoudigweg gegeven zijn. Maar ook hier wordt onze toegang ertoe bemiddeld door een kader: axioma’s van de rekenkunde, recursieve definities, inferentieregels, semantische modellen. Toch geldt ook hier dat, zodra het relevante arithmetische kader vastligt, vele waarheden onafhankelijk van onze wensen gefixeerd zijn.
Deze manier van denken leidt tot een belangrijk onderscheid tussen interne en absolute objectiviteit.
Interne objectiviteit betekent dat waarheid objectief is relatief aan een kader. Zodra de structuur vastligt, liggen ook de stellingen vast. Verschillende wiskundigen kunnen argumenteren, verifiëren, weerleggen en bewijzen. Er bestaat een publieke maatstaf voor correctheid. Wiskundige waarheid is dus geen privé-indruk.
Absolute objectiviteit is sterker. Zij zou betekenen dat één kader niet slechts gekozen, maar bevoorrecht is als de ware beschrijving van de mathematische werkelijkheid. Hier begint de filosofie. Een platonist zal vaak zeggen dat sommige structuren niet alleen intern coherent zijn, maar ook objectief reëel. Een structuralist kan zeggen dat de wiskunde over structuren gaat eerder dan over onafhankelijk bestaande objecten. Een formalist zal de objectiviteit herleiden tot afleidbaarheid binnen een formeel systeem.
De formule die hier centraal staat, laat die grotere metafysische vraag open. Zij zegt nog niet of mathematische kaders een onafhankelijke werkelijkheid beschrijven of enkel het denken ordenen. Maar zij bewaart wel iets uiterst belangrijks: de objectiviteit van de wiskunde verdwijnt niet omdat wiskundigen creatief zijn.
Deze visie is belangrijk omdat zij beter recht doet aan de geleefde praktijk van de wiskunde dan veel simpele filosofische slogans.
Wiskundigen zijn geen louter passieve ontvangers van eeuwige waarheden. Zij ontwerpen nieuwe begrippen, wijzigen aannames en bouwen abstracte omgevingen waarin onverwachte verbanden zichtbaar worden. Maar zij zijn ook geen willekeurige makers van waarheid. Zij kunnen geen stellingen per decreet invoeren. Zodra de termen van het spel vastliggen, ontwikkelt dat spel een eigen noodzakelijkheid.
Daarom kan de wiskunde tegelijk vrij en streng, verbeeldingsrijk en exact aanvoelen. Men bedenkt een definitie en ontdekt vervolgens dat zij gevolgen heeft die men niet had voorzien. Sommige van de diepste wiskundige ervaringen ontstaan juist hier: wanneer een vrij ingevoerd begrip resultaten voortbrengt die tegelijk verrassend en onvermijdelijk lijken.
Dit helpt ook verklaren waarom de wiskunde vaak objectiever lijkt dan andere intellectuele domeinen. In literatuur, ethiek of politiek blijft onenigheid vaak bestaan omdat de maatstaven zelf betwist worden. In de wiskunde kan er zeker ook onenigheid zijn, maar zodra het kader voldoende precies is, zijn conflicten meestal in principe oplosbaar. De conceptuele vrijheid ligt grotendeels vóór het bewijs, niet erna.
Deze gedachte helpt ook om Gödel te situeren.
Gödels onvolledigheidsstellingen tonen dat in voldoende sterke formele systemen waarheid verder reikt dan bewijs. Dat betekent dat de objectiviteit van de wiskunde niet altijd kan worden herleid tot wat mechanisch afleidbaar is binnen één formeel kader. In die zin duwt Gödel voorbij een louter kader-interne opvatting. Hij suggereert dat er objectieve mathematische waarheden kunnen zijn, ook waar onze gekozen axioma’s die nog niet beslissen.
Toch blijft de formule bruikbaar. Zelfs als men Gödel volgt, blijft het basisonderrcheid overeind: creativiteit opereert nog steeds op het niveau van axioma’s en systemen, terwijl mathematische weerstand verschijnt in de waarheden die daaruit opkomen of daar zelfs bovenuit gaan. Gödel herinnert ons er alleen aan dat objectiviteit misschien niet ophoudt waar formele afleidbaarheid ophoudt.
De formule kan nu vollediger worden geformuleerd:
In de zuivere wiskunde is de creativiteit vooral scheppend op het niveau van kaders; de objectieve waarheid verschijnt zodra zo’n kader is vastgelegd.
Dat vat een middenpositie samen tussen twee uitersten. Tegen een naïef platonisme erkent het de constructieve, historische en menselijke kant van de wiskunde. Tegen een naïef conventionalisme houdt het vol dat mathematische waarheid niet eenvoudigweg is wat wij besluiten te zeggen.
De wiskunde is niet willekeurig omdat zij creatief is.
Zij is niet oncreatief omdat zij objectief is.
Haar bijzondere aard ligt er juist in dat zij beide verenigt:
wij scheppen de denkruimte,
en binnen die denkruimte ontmoeten wij waarheden die niet langer van ons zijn om te maken.