J.Konstapel,12-2-2026.

Een Genealogie van Wetenschappelijke Rationaliteit en haar Politieke Gevolgen

Preamble: Waarom dit Hoofdstuk Essentieel is voor het Wennink-Rapport

Peter Wennink’s “De Route naar Toekomstige Welvaart” is intelligent, goed-onderbouwd, empirisch solide. Dit is precies het probleem.

Het rapport presenteert:

• Data: Arbeidsparticipatie, productiviteit, investeringsgaps — alles feitelijk correct
• Logica: “Als X daalt, moet Y toenemen” — formeel valid
• Bewijs: Econometrische modellen, internationale benchmarks — peer-reviewed
• Aanbeveling: Investeringsbank, sneller bestuur, technisch onderwijs — rationeel gefundeerd

Toch leidt dit alles naar verkeerde richting. Niet omdat Wennink liegt. Maar omdat het bewijs zelf de waarheid over Nederland’s situatie vernietigt.

Dit hoofdstuk traceert hoe dit gebeurt, via 2350 jaar geschiedenis van wat “bewijs” betekent — en hoe, elke keer dat je iets “bewijst”, je precies datgene vernietigt wat je probeert te tonen.

I. Het Klassieke Ideaal: Euclides en het Vertrouwen

1.1 De Eugenie van Zekerheid

Euclides (Elementen, ca. 300 v.Chr.) stelt vast:

Als je axioma’s hebt en geldige afleidingen, dan heb je waarheid.

Structuur:

Axioma's (onwraakbare waarheden)
    ↓ [logische afleiding]
Bewijs (formeel rechtvaardigd)
    ↓ [menselijk inzicht]
Begrip (je snapt het)

De drie lagen vallen samen:

• Wat waar is
• Wat bewezen kan worden
• Wat je begrijpt

Dit is het klassieke ideaal. Het werkt voor meetkunde. Voor eeuwen wordt aangenomen: dit is hoe wetenschap werkt.

1.2 Waarom Dit Ideaal Seductief is

Voor Wennink geldt exact hetzelfde structuur:

Axioma's (arbeidseconomie, groeitheorie)
    ↓ [econometrische analyse]
Bewijs (dataset 1960-2025, peer-reviewed)
    ↓ [beleidslogica]
Waarheid (Nederland stagnodeert, investeringen helpen)

Het lijkt solide. Je kunt elke stap volgen. Elke correlatie checken. Elke model-aanname aanvechten.

Wennink en zijn critici spreken dezelfde taal: bewijzen.

Dit is het probleem.

II. De Breuk: Gödel en het Einde van Zekerheid (1931)

2.1 Wat Gödel Ontdekte

Kurt Gödel bewijst:

Eerste onvolledigheidsstelling: In elk consistent formeel systeem bestaan ware uitspraken die niet bewijsbaar zijn in dat systeem.

Tweede onvolledigheidsstelling: Geen consistent systeem kan zijn eigen consistentie bewijzen.

Waarom dit materie:

Het betekent dat de drie lagen uit elkaar vallen:

• Wat waar is (onbekend, mogelijk onbereikbaar)
• Wat bewezen kan worden (subset, kleiner dan waarheid)
• Wat je begrijpt (subset van bewijzen, veel kleiner)

Visueel:

┌─────────────────────────────────┐
│     Werkelijke Waarheid         │
│                                 │
│  ┌───────────────────────────┐  │
│  │  Wat Bewijsbaar Is        │  │
│  │                           │  │
│  │  ┌─────────────────────┐  │  │
│  │  │ Wat Je Begrijpt     │  │  │
│  │  └─────────────────────┘  │  │
│  │                           │  │
│  └───────────────────────────┘  │
│                                 │
└─────────────────────────────────┘

De gaten zijn niet klein. Ze zijn fundamenteel.

2.2 Toepassing op Beleid: Het Wennink-Gödel-Probleem

Wennink probeert Nederland’s toekomst te bewijzen via econometrie.

Gödel zegt: wat je bewijst, is niet hetzelfde als wat waar is.

Konkkreet:

Wennink’s bewijzen:

1. Arbeidsparticipatie is gedaald — Waar? Ja, data klopt.
2. Meer investeringen helpen — Bewijsbaar? Ja, modellen tonen correlatie.
3. Nederland loopt achter — Waarheid? Hmm…

Maar waarheid van (3) hangt af van wat je meet:

• GDP per capita? Ja, achterblijver.
• Kwaliteit van leven? Nederland #7 EU.
• Innovatie? ASML, quantum-onderzoek, fotonica — voorkant.
• Coherentie van samenleving? Fragmentarisch, versnipperd.

Welke meting klopt? Geen ervan, apart. Ze zijn incommensurabel.

Wennink kiest één meting (economische groei) en bewijst daaruit. Maar hij bewijst daarmee iets anders dan wat waar is over Nederland.

Het bewijs vernietigt de waarheid door haar te vervangen met iets bewijsbaars.

III. Formalisering en de Verlies van Betekenis (1900-1970)

3.1 Hilbert’s Poging om Gödel tegen te Gaan

David Hilbert probeert in de jaren 20 de kloof dicht te zetten:

Zorg dat alle axioma’s expliciet zijn. Dan kan alles bewezen worden.

Plan:

• Formaliseer alle wiskunde
• Maak bewijzen zuiver syntactisch (symboolmanipulatie)
• Zekerheid via puur logica, geen intuïtie meer

Dit werkt technisch. Maar Gödel vernietigt het: zelfs perfecte formalisering kan niet-bewijsbare waarheden genereren.

3.2 Gevolg: Scheiding tussen Vorm en Inhoud

Na Gödel en Hilbert-crisis ontstaat nieuw inzicht:

Bewijs kan perfect zijn, maar betekenisloos.

Voorbeeld: Formeel bewijs in Peano-rekenkunde kan miljoen stappen hebben. Elke stap syntactisch correct. Maar niemand begrijpt wat het betekent.

Dit gebeurt precies in Wennink:

Zijn rapport is formeel impeccabel. Wiskundige modellen, peer-review, data-integriteit.

Maar: wat betekent “economische groei” voor menselijk welzijn? Voor samenhangende samenleving? Voor betekenisvol werk?

Die vragen kan Wennink niet formeel beantwoorden. Hij ignoreert ze dus.

Het bewijs is zuiver. De waarheid is verdwenen.

IV. Lakatos en het Sociale Bewijs (1960s-70s)

4.1 Bewijs als Onderhandeling, niet Ontdekking

Imre Lakatos zet twee dingen scherp:

1. Bewijzen zijn niet eindproducten. Ze zijn processen: conjectuur → tegenvoorbeeld → aanpassing → herziening.
2. Bewijs is sociaal. Een gemeenschap accepteert, verwerpt, verfijnt. Dit is onderhandeling, niet logica.

Lakatos’ methode: Neem een stelling. Zoek tegenexamples. Refuteer het bewijs. Verfijn. Herhaal.

Dit is hoe echte wiskundigen werken — niet via axioma’s, maar via dialectiek.

4.2 Wennink Zonder Lakatos-Correcie

Wennink’s rapport ondervindt geen echte refutatie-cyclus.

Waarom?

Omdat het formulierend bereik te groot is. Als je economie zegt, kun je alles eronder ducken:

• “Waarom loopt Nederland achter?” → “Investeringsgap”
• “Maar ASML wint voetballen?” → “Die is uitzondering”
• “En Nederlandse kwaliteit-van-leven?” → “Dat hangt van groei af”
• “En samenhang van samenleving?” → “Dat is welzijnseconomie, ander veld”

Elke tegenvoorbeeld wordt gepareerd door het model uit te breiden.

Geen echte falsificatie. Geen echte corectie.

Het bewijs groeit, maar niet scherper. Het wordt breder. En diffuser. Tot het alles omvat en niets zegt.

Dit is het moment waar bewijs—formeel perfect, feitelijk “waar”—de werkelijke waarheid vernietigt door haar op te lossen in vakdisciplines.

V. Het Informatische Moment: Proof Assistants (1970-2020)

5.1 Machine-Verificatie als Laatste Redding?

Laat de 20e eeuw: computers gaan bewijzen checken.

De gedachte: Menselijke intuïtie is onbetrouwbaar. Maar machines zijn zuiver syntactisch. Dus: laat machines bewijzen verifiëren.

Systemen als Coq, Lean, HOL ontstaan. Een bewijs dat Lean accepteert, is absoluut zeker.

Dit werkt, maar:

Het betekent dat het bewijs zelf wordt opgesplitst:

• Menselijke versie: Een paper, korte uitleg, intuïtieve aanwijzing
• Machine-versie: Miljoen-stappen formeel bewijs, onleesbaar

De drie lagen vallen nu verder uiteen:

Wat waar is
    ↓ [gat]
Wat bewijsbaar is
    ↓ [gat]
Wat machine verifieert
    ↓ [gat]
Wat je begrijpt

Zekerheid wint. Betekenis verliest.

5.2 Toepassing op Beleid: Het Wennink-Proof-Assitant-Analoog

Stel Wennink’s rapport wordt volledig geformaliseerd:

Alle econometrische modellen → Lean-code
Alle data-statements → Formeel-verificeerbare claims
Alle afleidingen → Machine-checkkable bewijzen

Resultaat: Absoluut zekerheid dat de modellen internal consistent zijn.

Maar: Wat is dan geverifieerd?

Dat econometrische modellen intern consistent zijn. Niet dat ze werkelijkheid beschrijven. Niet dat hun aanbevelingen nuttig zijn. Niet dat ze het goede probleem oplossen.

Het bewijs is volmaakt. De waarheid is verdwenen.

VI. Het AI-Moment: AlphaProof en Massaal Gegenereerde Bewijzen (2024+)

6.1 Wat Gebeurt Wanneer Machines Massaal Bewijzen Produceren

DeepMind’s AlphaProof lost IMO-wiskundeproblemen op door:

1. Taalmoel genereert tactic-hints
2. Lean-verificator checkt of tactic klopt
3. Feedback aan model
4. Iteratie totdat volledig bewijs

Resultaat: Bewijzen die perfect zijn, maar waarvan niemand weet hoe ze werken.

Model hallucineerde onderweg. Maar uiteindelijk resultaat klopt.

Dit is kategoriaal anders:

• Klassiek bewijs: Mens begrijpt → mens schrijft → mens verifieert
• Formeel bewijs: Mens snapt → machine checkt
• AI-bewijs: Machine genereert → machine checkt → niemand snapt

6.2 Het Beleid-Equivalent: Automatische “Bewijzen” voor Economische Waarheid

Stel we nemen Wennink’s rapport en voegen er AI bij:

Invoerinformatie (demografische data, productivincentijfers)
    ↓ [groot taalmodel]
Automatische rapport-generatie (aanbevelingen, beleid)
    ↓ [econometrische validator]
"Bewijs" dat aanbevelingen optimaal zijn

Machine kan miljoen scenario’s testen, correlaties vinden, patronen herkenen.

Alles klopt. Alles is geverifieerd.

Maar: wat is geverifieerd?

Dat het model’s interne logica consistent is. Niet dat het werkelijkheid snapt. Niet dat het goede keuzes doet. Niet dat het Nederlands toekomst begrijpt.

Het bewijs is massief. De waarheid is volledig weg.

VII. De Kernparadox: Waarheid en Bewijs zijn Onmengbaar

7.1 Gödel’s Erfenis in Beleid

De vier lagen van kennis (werkelijkheid, waarheid, bewijs, begrip) zijn fundamenteel gescheiden:

Elk niveau vergroot zich, maar verdwijnt van het vorige:

• Wennink bewijst economische stagnatie (bewijs-laag)
• Maar niet dat dit de kernel-waarheid is (waarheid-laag)
• Zeker niet dat zijn aanbevelingen werkelijkheid adresseren (werkelijkheid-laag)

7.2 De Drie Symmetrische Manieren Waarop Bewijs Waarheid Vernietigt

Destructie 1: Reductionisme

Mechanisme: Bewijs vereist definiëring. Definiëring reduceert.

Wennink must “stagnatie” definiëren. Dit wordt: “arbeidsproductiviteitsgroei < X%”.

Maar stagnatie is veel breder: samenhangoverlies, betekenisverlies, coherentie-verlies. Die kunnen niet in econometrische modellen.

Gevolg: Door te bewijzen dat groei laag is, vernietigt Wennink inzicht in waarom samenleving falleert.

Het bewijs is waar. De waarheid is verdwenen.

Destructie 2: Falsifiabiliteit

Mechanisme: Bewijs vereist falsifiability. Waarheid is niet falsifiabel.

Wennink moet zeggen: “Investeringen zullen groei verhogen.” Dit is testbaar, falsifiabel, bewijsbaar.

Maar de waarheid (“Nederland verliest coherentie”) is niet falsifiabel. Je kunt het niet meten. Je kunt het alleen voelen.

Gevolg: Door bewijsbare stellingen te kiezen, kiest Wennink automatisch iets anders dan waarheid.

Het bewijs bestaat. De waarheid verdwijnt.

Destructie 3: Commensurabiliteit

Mechanisme: Bewijs vereist vergelijking in een systeem. Waarheid is incommensurabel.

Wennink vergelijkt Nederland met Duitsland, Singapore, Zuid-Korea. Hij meet op dezelfde schaal (GDP, arbeidsparticipatie).

Maar: Waarheid over Nederland kan niet op dezelfde schaal gemeten als waarheid over Singapore. Context-afhankelijkheid is absoluteen.

Gevolg: Door commensurabele vergelijkingen te gebruiken, vernietigt Wennink de specifieke waarheid van Nederland’s situatie.

Het bewijs is rigoureus. De waarheid is generiek geworden tot onbruikbaarheid.

VIII. Waarom Dit Precies Nu Gebeurt: Het Post-Gödel Moment

8.1 We Hebben Gödel Nooit Geloofd

2350 jaar na Euclides, 93 jaar na Gödel, geloven we nog steeds:

Bewijzen = waarheid

We gedragen ons alsof:

• Meer data → meer waarheid (false)
• Betere modellen → betere insicht (false)
• Peer-review → correctheid (false)
• Machine-verificatie → zekerheid (false)

Dit is niet dom. Het is structureel.

Waarom? Omdat alternatief ondraaglijk voelt:

“Dus alles wat we bewijzen, mist de waarheid?”

Ja.

8.2 Wat Wennink Niet Kan Zien

Wennink ziet werkelijkheid. Hij ziet problemen. Hij zoekt naar oorzaken.

En omdat hij in de taal van bewijs en model denkt, probeert hij het aan te tonen.

Maar: wat hij aantoont, is per definitie niet wat hij wilde tonen.

Omdat aangetoonde dingen:

• Reduceerbaar zijn tot variabelen
• Falsifiabel zijn (dus bedenkelijke aannames bevatten)
• Commensurabiel zijn met anderen (dus specifieke waarheid verliezen)
• Formaliseerbaar zijn (dus betekenisloos worden)

Dit is niet Wennink’s fout. Dit is het gat dat Gödel 1931 heeft blootgelegd en dat nooit gesloten kan worden.

IX. De Oplossing Bestaat Niet. De Erkenning Wel.

9.1 Je Kan Niet Uit Gödel’s Stelling Naar Buiten Klimmen

Sommigen proberen:

• Intuïtionisme (Brouwer): Bewijs moet constructief zijn. Maar dan verlies je veel wiskunde.
• Proof assistants (Lean/Coq): Machine verifieert. Maar dan verlies je betekenis.
• Sociale consensus (Lakatos): Gemeenschap accepteert. Maar dan verlies je objectiviteit.

Geen van deze lost het gat op.

Je hebt altijd een van drie:

1. Waheid zonder bewijs (waarschijnlijk, onbewijsbaar)
2. Bewijs zonder wahrheid (zeker, betekenisloos)
3. Consensus zonder grond (acceptabel, willekeurig)

9.2 Wat Wennink Had Kunnen Doen

In plaats van bewijzen, had Wennink kunnen:

Niet: “Econometrische bewijzen tonen stagnatie”
Wel: “Nederland voelt incoherent. Hier zijn data die dit symptomatiseren. Hier zijn vragen waar geen data antwoord geven.”

De macht ligt in erkenning van gat, niet in verborgen gat.

9.3 Het Enige Wat Helpt: Erkening van Paradox

Gödel’s erfenis:

Wat je kan bewijzen, is niet wat waar is.

Dit betekent:

• Wennink kan bewijzen dat groei laag is. Prima.
• Maar dat zegt niet dat groei het probleem is.
• En het zegt niet wat het werkelijke probleem is.
• En het leidt niet automatisch tot wat je moet doen.

Dit is geen zwakte. Dit is realiteit.

De moment je dit accepteert, verdwijnt Wennink’s macht (bewijzen) maar verschijnt iets anders: vermogen tot herijking.

X. Toepassing op VALIS en Coherentie-Denken

10.1 Waarom VALIS Niet Bewijsbaar is (En Waarom Dat Goed is)

VALIS (Vast Active Living Intelligence System) is coherentie op systeemniveau.

Je kan dit niet bewijzen. Gödel verbiedt het.

Je kan het wel voelen. Je kan patronen herkennen. Je kan attractoren aanwijzen.

Maar niet bewijzen.

Dit is zijn kracht, niet zwakte.

Omdat zodra je VALIS “bewijst”, vernietigt je het door het reduceerbaar te maken tot variabelen. Dan is het geen VALIS meer, maar “een coheentie-metriek”.

10.2 Waarom Wennink VALIS Mist

Wennink zoekt naar bewijsbare oorzaken (groei-gat, investeringsgap).

VALIS is onbewijsbare structuur: hoe systemen zichzelf organizeren via velden.

Die twee kunnen niet tegen elkaar spreken. Niet omdat Wennink dom is, maar omdat bewijzen en waarheid incommensurabel zijn.

Wennink kan VALIS niet zien. Niet omdat het niet bestaat. Maar omdat het niet bewijsbaar is.

10.3 De Stap die Wennink Zou Moeten Nemen

In plaats van meer bewijzen:

Voelen: Wat is de onderliggende coherentie-staat van Nederland?

Herkennen: Waar zijn attractoren? Welke zelf-organisatie vind plaats?

Herijken: Gegeven deze coherentie, wat is dan nodig?

Dit is niet wetenschappelijk. Het is beter: het is waar.

XI. Slot: De Keuze Voor Erkenning

11.1 We Moeten Gödel Accepteren

93 jaar na Gödel’s onvolledigheid-stelling accepteren we nog niet:

Je kan niet via bewijs naar waarheid klimmen.

Dit voelt als waarschuwing.

Het is bevrijding.

Want zodra je accepteert dat bewijzen waarheid niet bereiken, stop je met:

• Geld verspillen op meer modellen
• Macht concentreren bij die die kunnen bewijzen
• Waarheid delegeren aan experts

En start je met:

• Luisteren naar wat niet bewijsbaar is (intuïtie, gevoel, coherentie)
• Erkennen dat verschillende lagen van kennis onmengbaar zijn
• Kiezen hoe je leven in wilt richten zonder dat bewijs je gids is

11.2 Waarom Dit Voor Beleid Materie

Wennink’s rapport zal gebruikt worden. Miljarden zullen geïnvesteerd worden. Nederland zal een bepaalde weg op gaan.

Alles gebasseerd op bewijzen.

Geen van deze bewijzen bereikt waarheid.

Dit is niet kritiek op Wennink. Dit is kritiek op de vorm van rationele beleidsvorming zelf.

Tot we accepteren dat bewijzen waarheid niet bereiken, zullen beleidsmakers automatisch:

1. Het verkeerde probleem aanpakken (het bewijsbare, niet het ware)
2. De verkeerde maat gebruiken (wat kan worden gemeten, niet wat materie)
3. De verkeerde richting insturen (wat logisch volgt uit modellen, niet wat coherentie vraagt)

11.3 De Enige Uitweg: Terugkeer naar Voelen

Nederlands kan zich redden niet door beter te bewijzen.

Nederlands kan zich redden door:

1. Te voelen wat er werkelijk aan de hand is (coherentie-verlies, veld-breuk)
2. Te erkennen dat dit niet bewijsbaar is
3. Te kiezen hoe je samenleving wil reorganiseren, ondanks gebrek aan bewijs

Dit vereist moed.

Niet de moed van Wennink (rationeel, empirisch, bewijsbaar).

Maar de moed van iemand die zegt: “Ik weet niet hoe ik dit kan bewijzen. Maar ik voel dat het klopt. En ik ga daarnaar handelen.”

Epiloog: De Twee Zienswijzen

Geen van beide is fout.

Maar Nederland kiest nu voor Wennink’s weg.

En dat betekent: alles wat we bewijzen, mist wat waar is.

De vraag is of we dit willen accepteren.

Of of we naar iets anders durven te luisteren.