Mijn collega’s vragen mij om hulp met cijfers. Ik ken wiskunde, nemen ze aan. Ironie is dat ik slecht ben in hoofdrekenen.
Mensen hebben wiskunde verkeerd. Ze denken dat het snelle sommen zijn, aftrekkingen die je in je hoofd doet terwijl je koffie koopt. Nee. Echte wiskunde gaat over het bouwen van werelden.
De stichtingsmythe
Je begint met regels. Axioma’s. Basiswaarheden waar jullie het over eens zijn, zodat het spel kan beginnen. Van daaruit stapel je de spullen op. Verzamelingen worden getallen, getallen worden functies, functies veranderen in geometrie. Het rust allemaal op die eerste verdieping.
Wiskundigen speelden lange tijd een gevaarlijke evenwichtsoefening. Ze wilden zo min mogelijk regels, maar toch genoeg om het moderne universum te beschrijven. En die regels moesten goed aanvoelen. Intuïtief. Zoals zeggen: “Er bestaat een lege verzameling.” Het is gewoon logisch.
Tegen de jaren 1900 koos iedereen voor ZFC. Zermelo-Fraen verzamelingenleer met keuze. Negen regels. Dat is alles. Dat was de basis.
Of dat dachten ze tenminste.
Gödel breekt het allemaal
Wiskundigen hielden van hun fundament. Ze droomden van een systeem dat twee dingen tegelijk was:
- Voltooid. Elke waarheid kan worden bewezen.
- Consistent. Geen tegenstrijdigheden toegestaan.
1931 arriveert. Kurt Gödel komt binnen. Vijfentwintig jaar oud. Hij laat een bom vallen die de fundering doet barsten.
Zijn Eerste Onvolledigheidsstelling is wreed. Er staat dat er in elk sterk, consistent systeem uitspraken zijn waarvan niet bewezen kan worden dat ze waar of onwaar zijn. Periode. Dan komt de tweede stelling. Nog erger. Het systeem kan niet bewijzen dat het consistent is.
Het klinkt academisch, zeker. Abstract logisch spul. Zijn collega’s hoopten dat het een gril was. Een rare theoretische blip zonder tanden. Ze hadden het mis.
Gödel bewees dat zekerheid een plafond heeft. Je kunt niet alles weten, zelfs niet binnen de regels die je hebt opgesteld.
Neem het ZFC-systeem zelf. Het staat vol met onbewijsbare dingen. De continuümhypothese is de grote. Bestaat er een oneindigheid tussen hele getallen en reële getallen? Wij weten het niet. En we kunnen het nooit bewijzen met onze huidige tools. De vraag blijft gewoon… daar.
Onopgelost. Onoplosbaar zelfs.
Dus ja, je kunt werelden bouwen vanuit axioma’s. Je kunt van eenvoudige sets naar complexe topologie klimmen. Maar de structuur heeft gaten. Ingebouwde blinde vlekken waar de waarheid verborgen blijft, voor altijd buiten bereik.
Waarom verlangt de geest naar voltooiing als voltooiing onmogelijk is?
