Teorema di Münchhausen

Animuccia, piú leggera dell'aria,

piú pesante che pietra su una tomba

con te è impossibile trattare,

impolitica come sei

e variabile come le previsioni del tempo!

H.M.H

Teorema di Münchhausen, cavallo, palude e codino,
è una delizia, ma non dimenticare:
Münchhausen era un bugiardo.

Il teorema di Gödel a prima vista appare
poco appariscente, ma rifletti:
Gödel ha ragione.

«In ogni sistema sufficientemente complesso
si possono formulare frasi
che all'interno del sistema
non sono né dimostrabili né confutabili,
a meno che il sistema
non sia di per sé inconsistente».

Puoi descrivere la tua lingua nella tua propria lingua:
ma non del tutto.
Puoi analizzare il tuo cervello
col tuo stesso cervello:
ma non del tutto.
Ecc.

Per giustificarsi
ogni sistema pensabile
deve trascendersi,
ossia distruggersi.

Sufficientemente complesso» o no:
la libertà di contraddire
è un fenomeno di carenza
o una contraddizione.

(Certezza = inconsistenza).

Ogni pensabile uomo a cavallo,
quindi anche Münchhausen,
quindi anche tu, è un subsistema
di una palude piuttosto ricca di sostanze

E un sottosistema di questo sottosistema
è il proprio codino,
questa specie di leva
per riformisti e bugiardi.

In ogni sistema piuttosto ricco di sostanze
quindi anche in questa palude,
si possono formulare frasi
che all'interno del sistema
non sono né dimostrabili né confutabili.

Prendile in mano, queste frasi,
e tira!

[H. M. Enzensberger, Omaggio a Godel, da Gli elisir della scienza, Einaudi, 2004]