Omaggio a Gödel

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 apparisciente, 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!

Hans Magnus Enzensberger, Gli elisir della scienza, Einaudi, Torino 2004