Weil ich Gödel nicht gut wiedergegeben habe, hier eine poetische Fassung der Theoreme.

Hans Magnus Enzensberger: Hommage an Gödel

Münchhausens Theorem, Pferd, Sumpf und Schopf,

ist bezaubernd, aber vergiss nicht:

Münchhausen war ein Lügner.

Gödels Theorem wirkt auf den ersten Blick

Etwas unscheinbar, doch bedenk:

Gödel hat recht.

"In jedem genügend reichhaltigen System

lassen sich Sätze formulieren,

die innerhalb des Systems

weder beweis- noch widerlegbar sind,

es sei denn das System

wäre selber inkonsistent."

Du kannst deine eigene Sprache

in deiner eigenen Sprache beschreiben:

aber nicht ganz.

Du kannst dein eigenes Gehirn

mit deinem eigenen Gehirn erforschen:

aber nicht ganz

Usw.

Um sich zu rechtfertigen

muss jedes denkbare System

sich transzendieren,

d.h. zerstoeren.

"Genügend reichhaltig" oder nicht:

Widerspruchsfreiheit

ist eine Mangelerscheinung

oder ein Widerspruch.

(Gewissheit = Inkonsistenz)

Jeder denkbare Reiter,

also auch Münchhausen,

also auch du bist ein Subsystem

eines genügend reichhaltigen Sumpfes.

Und ein Subsystem dieses Subsystems

Ist der eigene Schopf,

dieses Hebezeug

fuer Reformisten und Lügner.

In jedem genügend reichhaltigen System

also auch in diesem Sumpf hier,

lassen sich Saetze formulieren,

die innerhalb des Systems

weder beweis- noch widerlegbar sind.

Diese Sätze nimm in die Hand

Und zieh!

------------------------------------------

Zitiert nach: Hans Magnus Enzensberger.

Die Elixiere der Wissenschaft.

Frankfurt a. M.: Suhrkamp 2002.

nostr:note1f8duk2tz625j7uly8e5s3veg5ewse5f75ak80agczeeptclxuheqp6vt2x