Gödel —
de grenzen van het formele systeem en de waarnemer die erin zit

Bijdrage aan de wetenschap

Kurt Gödel publiceerde in 1931 zijn twee onvolledigheidsstellingen — een van de meest verstrekkende resultaten in de wiskundige logica. De eerste stelling: elk consistent formeel systeem dat krachtig genoeg is om de rekenkunde te beschrijven bevat uitspraken die waar zijn maar niet bewijsbaar binnen dat systeem. De tweede stelling: zo'n systeem kan zijn eigen consistentie niet bewijzen. Dit toont een fundamentele grens aan elk formeel systeem van binnenuit.

Either mathematics is too big for the human mind, or the human mind is more than a machine. — Gödel

Waar het Radicaal Continuüm aansluit

Gödels onvolledigheid beschrijft structureel wat het Radicaal Continuüm stelt over de embedded waarnemer: een systeem kan zichzelf niet volledig beschrijven vanuit zijn eigen positie. De waarnemer is onderdeel van het continuüm en kan het continuüm daardoor nooit volledig overzien. Gödels grens is de formele wiskunde; het RC situeert diezelfde grens in de fysische werkelijkheid.

Waar het Radicaal Continuüm verder gaat

Gödel toonde de grens van formele systemen van binnenuit. Het Radicaal Continuüm trekt de analogie naar de fysische werkelijkheid: de embedded waarnemer is een processtructuur in het continuüm en kan het geheel niet van buitenaf beschrijven — niet omdat het continuüm onkenbaar is maar omdat elke beschrijving vanuit een interne positie structureel onvolledig is.

Betekenis voor het onderzoeksprogramma

Gödel levert de formeel-logische ondersteuning voor de kernstelling van het RC over de embedded waarnemer. Zijn resultaat is bekend bij iedereen met wiskundige of filosofische achtergrond — en de analogie met de positie van de waarnemer in het continuüm is onmiddellijk herkenbaar.