Il barone di Münchhausen si tira fuori da un pantano afferandosi al proprio ciuffo di capelli. Illustrazione di Oskar Herrfurth
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. zerstören.
"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
für 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!
Hommage à Gödel
Il teorema di Münchhausen, cavallo, pantano e ciuffo,
è affascinante, ma non dimenticare:
Münchhausen era un bugiardo.
A prima vista il teorema di Gödel
pare modesto, ma pensa:
Gödel ha ragione.
"In ogni sistema sufficientemente potente
è possibile formulare proposizioni
che all'interno del sistema
non sono né dimostrabili né confutabili,
a meno che il sistema
stesso sia privo di fondamento."
Tu puoi descrivere la tua lingua
nella tua propria lingua:
ma non del tutto.
Tu puoi esplorare il tuo cervello
con il tuo proprio cervello:
ma non del tutto.
Ecc.
Per giustificarsi
ogni sistema pensabile
deve trascendersi,
cioè distruggere.
"Sufficientemente potente" o no:
l'assemza di contraddizione
è un fenomeno di carenza
oppure una contraddizione.
(certezza = infondatezza)
Ogni pensabile cavaliere,
dunque anche Münchhausen,
dunque anche tu sei un sottosistema
di un pantano sufficientemente potente
E un sottosistema di questo sottosistema
È il proprio ciuffo di capelli
questa leva
per riformisti e bugiardi.
In ogni sistema sufficientemente potente
dunque anche in questo pantano qui,
è possibile formulare proposizioni
che all'interno del sistema
non sono né dimostrabili né confutabili.
Queste proposizioni, afferrale con la mano
E tira!
Hans Magnus Enzensberger, da: Die Elixiere der Wissenschaft
(traduzione di Anna Maria Curci)