Enzensberger e la matematica

HANS MAGNUS ENZENSBERGER

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 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)

.

“Gödel, chi era costui?” potremmo dire parafrasando Don Abbondio. Un personaggio noto solo nella cerchia della matematica e della filosofia, anzi della “filosofia della matematica”. Kurt Gödel era un brillante logico e matematico statunitense di origine ceca dalla salute molto tribolata, afflitto da una gigantesca ipocondria che lo porterà a lasciarsi morire di inedia nel 1978 (a 72 anni) per timore di ingerire cibi avvelenati.

La sua fama è dovuta ai due teoremi di incompletezza. Quello citato da Hans Magnus Enzesberger è il primo: «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». Non sto qui a tediarvi con concetti matematici o filosofici, mi limito a registrare il fatto che il teorema di Gödel è limitativo, ovvero precisa le proprietà che i sistemi formali non possono avere. Quindi, una costruzione assiomatica non può soddisfare contemporaneamente le proprietà di coerenza e completezza.

Quello che più interessa in questo blog è che il poeta tedesco Hans Magnus Enzesberger abbia voluto scrivere una serie di poesie sulla matematica. Lui stesso asserisce: “I toni sono sempre gli stessi: «Ma per favore! Al diavolo la matematica». - «Una tortura, già a scuola. Non so proprio come sono riuscito a passare l'esame di maturità». - «Un incubo! Sono davvero completamente negato... ». - «L'IVA ancora ancora ce la faccio, con il calcolatore. Ma tutto il resto è troppo difficile». - «Formule matematiche? Veleno per me. Stacco semplicemente la spina» (…)Ci troviamo dinanzi a un enigma. Da che cosa dipende che la matematica sia rimasta nella nostra civiltà qualcosa come un buco nero, un ambito extraterritoriale in cui si sono arroccati solo pochi iniziati? (…) Nessuno ha oggi più la padronanza di tutti gli ambiti della sua scienza. Questo significa però anche che, nella ricerca, la cerchia dei possibili destinatari si restringe. Lavori che siano veramente originali sono inizialmente capiti solo da pochi colleghi del mestiere; circolano via posta elettronica fra una dozzina di lettori che stanno a Princeton, a Bonn e a Tokyo. E ciò comporta in effetti un certo isolamento”. Per andare oltre questo isolamento, per riuscire a infilarsi nei penetrali della matematica, Enzensberger ha usato l’ariete a sua disposizione: “La poesia della scienza non è palese. Scaturisce da strati più profondi. È una questione aperta se la letteratura sia in grado di praticarla alla stessa altezza. Alla fin fine, al mondo può essere indifferente dove si manifesti la forza d'immaginazione della specie, purché continui a restare viva. Quanto ai poeti, possano questi brevi cenni dimostrare che non si può fare a meno della loro arte. Invisibile come l'isotopo che serve alla diagnosi e alla misurazione del tempo, inappariscente eppure difficilmente rinunciabile come un microelemento, la poesia è all'opera anche là dove nessuno l'immagina”.

.

Art Rosengarten, “Meaningful Numbers”

.

* * * * * * * * * * * * * * * * * * * * * * * * *
LA FRASE DEL GIORNO
La matematica conosce radici, fibre, germi, fasci, schiere, inviluppi, nodi, lacci, curve, raggi, bandiere, tracce, intersezioni, corpi e sottocorpi, generi, scheletri, ideali massimali, principali e nulli, anelli, punti isolati, gruppi semplici, cammini aleatori, il punto di fuga, gruppi liberi finitamente liberati, varietà, insiemi vuoti, modelli ombelicali, cuspidi di ponti, la coda di rondine, filtri, nodi infiniti, trecce, la polvere di Cantor, il diamante di Hodge, gli stukas, farfalle e tori...
HANS MAGNUS ENZENSBERGER, Gli elisir della scienza

---

Hans Magnus Enzensberger (Kaufbeuren, 11 novembre 1929), scrittore, poeta, traduttore ed editore tedesco. La sua poesia, con espressione volutamente antipoetica e provocatoria, non vede un mezzo di salvezza per l'uomo e si presenta come denuncia spietata di tutte le storture e debolezze della società.

---