David Hilbert

David Hilbert si colloca su una linea di faglia cruciale nella matematica moderna: il punto in cui l'infinito diventa sia indispensabile che sospetto. Accettò elementi ideali, comprese le totalità infinite, come strumenti legittimi nel ragionamento matematico, eppure desiderava che l'aritmetica e l'analisi fossero garantite da metodi finitisti, come se l'edificio della matematica potesse essere reso sicuro dimostrando che i suoi strumenti più pericolosi non minacciavano mai veramente le fondamenta. Questo doppio impulso lo rese uno degli architetti centrali dell'auto-comprensione della disciplina — e anche una delle sue contraddizioni più rivelatrici.

La mente di Hilbert non era attratta dall'infinito come oggetto mistico. Lo trattava come una convenienza formale, una finzione produttiva che poteva essere gestita con disciplina. Il suo famoso esperimento mentale dell'hotel, con stanze occupate all'infinito e continuamente riorganizzate, è spesso ricordato come un paradosso ingegnoso; nelle mani di Hilbert, era anche una dimostrazione di controllo. Il punto non era che l'infinito fosse assurdo, ma che obbediva a regole diverse rispetto a quelle che governano le collezioni finite. Voleva che i matematici smettessero di trattare i processi infiniti come imbarazzanti filosofici e imparassero invece a manipolarli con precisione. In questo senso, il suo lavoro era liberatorio. Normalizzava l'astrazione.

Ma il desiderio di controllo andava oltre la pedagogia. Il programma fondazionale di Hilbert — il suo sforzo di giustificare la matematica classica dimostrando la sua coerenza attraverso mezzi finitisti — rivela un temperamento inquieto con la dipendenza. Era disposto a utilizzare oggetti ideali, ma voleva una prova che questi oggetti non potessero tradire il sistema che li utilizzava. Questo non era semplicemente un'agenda tecnica. Era una difesa intellettuale contro l'incertezza. Hilbert rappresentava la fiducia di un'era che aveva espanso la matematica con tale successo da non poter più ignorare la grandezza delle proprie invenzioni. Eppure, quella fiducia era perseguitata dal sospetto che l'intera impresa si basasse su metodi che non poteva giustificare pienamente dall'interno.

La psicologia qui è sorprendente: Hilbert si fidava della matematica più di quanto si fidasse dell'intuizione matematica. Credeva che la rigorosità potesse domare il paradosso, che la struttura formale potesse sopravvivere al dubbio filosofico. Pubblicamente, era il grande sostenitore della chiarezza, dell'ordine e della prova esatta. Privatamente, il suo programma rivelava una paura che l'incredibile potere della disciplina potesse essere costruito su un nucleo non dimostrabile. La contraddizione era produttiva, ma era anche costosa. Insistendo su una certificazione interna totale, Hilbert stabilì uno standard che si rivelò in seguito inaccessibile nella forma più forte. I teoremi di incompletezza di Gödel non frustrarono semplicemente un programma tecnico; rivelarono un limite al sogno che la matematica potesse giustificarsi completamente utilizzando solo le proprie risorse finite.

Le conseguenze furono più ampie di Hilbert stesso. Le sue ambizioni fondazionali affinarono la logica del ventesimo secolo, chiarirono cosa potesse e non potesse significare una prova, e costrinsero i matematici a confrontarsi con la differenza tra coerenza formale e certezza assoluta. Ma lasciarono anche un'inquietudine permanente: se la matematica ha bisogno di entità ideali per funzionare, ma non può completamente dimostrare la sicurezza di quelle entità, allora la certezza diventa un'ansia gestita piuttosto che un traguardo finale. L'eredità di Hilbert risiede nell'aver reso visibile quell'ansia.

Alla fine, era un costruttore di sistemi che sapeva, forse più di quanto ammettesse, che ogni sistema contiene un'ombra. L'infinito, per Hilbert, non era un abisso in cui cadere, ma una risorsa da padroneggiare. Eppure, il tentativo stesso di dominarlo esponeva il bisogno umano dietro l'astrazione: il desiderio di rendere il vasto intelligibile, e di farlo senza pagare il prezzo del dubbio.