Hans Magnus Enzensberger - Omaggio a Godel

Maurits Cornelis Escher - Salita e discesa

Hans Magnus Enzensberger - Omaggio a Godel

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!

da “Gli elisir della scienza”, Einaudi, 2004