Dette udsagn kan ikke bevises - Gödel

24.03.2026 | filosofi

Jeg læser løs og løst i Nørretranders Mærk Verden. Jeg fandt den til en flad tyver i genneren. På side 72 i i hvert fald en eller anden udgave af bogen handler det hele om Kurt Gödel og ukomplethed af formelle sprog. Gödel ville gerne finde formelle udsagn der var sande og ikke kunne bevises. Og her det kanoniske eksempel i den sag:

Dette udsagn kan ikke bevises

Godt. Antag for the sake of contradiction at udsagnet er falsk. Det vil sige det kan bevises. Men hvis det kan bevises, er det jo sandt. Alt der kan bevises, er sandt. Og derfor er vi trådt fast i en svedig absurdej. Sejt størrelse kødløshed, synes jeg alligevel.

Hav nu et godt valg, alle! Og stem for fanden med både hjerte og hjerne!