Het Laatste Axioma Bestaat Niet

Wat als logica niet begint met waarheid, maar met vorm? In Het Laatste Axioma Bestaat Niet ontwikkelt René Oudeweg een radicaal nieuw perspectief op axiomatiek. Vanuit de minimale structuur H = | - | — twee standen verbonden door een relatie — laat hij zien dat systemen niet rusten op fundamenten, maar ontstaan uit spanning. Met de H-calculus, opgebouwd uit slechts lijnen en drie operaties (expansie, compressie, splitsing), verschuift logica van waar/onwaar naar structuur en transformatie. Waarheid en contradictie (⊤ en ⊥) blijken geen beginpunten, maar afgeleide effecten. In deze lezing wordt Kurt Gödel geen probleem, maar een bevestiging: systemen kunnen niet sluiten omdat hun structuur open is.
Op verrassende wijze raakt dit aan moderne AI. Net als in transformer-modellen ontstaat betekenis niet uit vaste elementen, maar uit relaties. Tokens hebben geen intrinsieke inhoud; betekenis verschijnt in hun onderlinge spanning. Dit boek laat zien: het laatste axioma bestaat niet — omdat elk systeem leeft van wat het niet kan vastleggen.