I problemi di Hilbert costituiscono una lista di 23 problemi matematici stilata da David Hilbert e presentata l'8 agosto 1900 nella sua conferenza del Congresso internazionale dei matematici svolta a Parigi.

Tutti i problemi allora presentati erano ancora irrisolti e molti di essi hanno avuto un notevole impatto sulla matematica del XX secolo. A questa conferenza, in realtà, Hilbert presentò 10 dei problemi nella lista definitiva (1, 2, 6, 7, 8, 13, 16, 19, 21, e 22), mentre l'elenco completo fu pubblicato in seguito^[1].

Ispirata all'iniziativa di Hilbert è la proposta di fine XX secolo dell'Istituto matematico Clay di una lista dei cosiddetti 7 problemi per il millennio. L'ipotesi di Riemann è l'unico problema presente in entrambe le liste.

Nella formulazione classica dei problemi data da David Hilbert, i problemi 3, 7, 10, 11, 14, 17, 18, 19 e 20 hanno una dimostrazione accettata con universale consenso.

I problemi 1, 2, 5, 9, 13, 15, 21, 22, hanno una soluzione non accettata da tutti i matematici o hanno una soluzione che non tutti ritengono che risolva il problema (per esempio il problema 1).

I problemi 8 (ipotesi di Riemann) e 12 sono irrisolti.

I problemi 4, 6, 16, 23 sono troppo vaghi per avere una soluzione. Anche il "ventiquattresimo problema" poi non presentato da Hilbert cadrebbe in quest'ultima categoria.

I 23 problemi di Hilbert sono:

L'ipotesi del continuo afferma che non esiste nessun insieme infinito la cui cardinalità sia compresa strettamente tra quella dell'insieme dei numeri interi e quella dell'insieme dei numeri reali. Kurt Gödel e Paul Cohen hanno dimostrato che l'ipotesi non può essere né dimostrata, né confutata, dagli assiomi ZFC. Non esiste un consenso tra matematici se ciò risolva o meno il problema.

L'insieme dei numeri reali può essere dotato della struttura di insieme ben ordinato? Questa domanda è parzialmente irrisolta, in quanto è correlata all'assioma della scelta di Zermelo-Fraenkel (o all'equivalente lemma di Zorn); nel 1963 si dimostrò che l'assioma della scelta è indipendente da tutti gli altri assiomi nella teoria degli insiemi, cosicché non è possibile basarci su quest'ultimo per risolvere il problema del buon ordinamento dell'insieme dei numeri reali.

Lo stesso argomento in dettaglio: Entscheidungsproblem.

La risposta al problema 2 è no, e non solo per l'aritmetica. Il teorema di incompletezza di Gödel stabilisce infatti che la coerenza di un sistema formale abbastanza potente da generare l'aritmetica non può essere dimostrata all'interno del sistema stesso.

Dati due poliedri dello stesso volume, è possibile tagliare entrambi nello stesso insieme di poliedri più piccoli? Max Dehn ha dimostrato nel 1902, mediante lo sviluppo della teoria degli invarianti di Dehn, che questo non è possibile in generale; analogo risultato è stato raggiunto indipendentemente da W. F. Kagon nel 1903.

Una formulazione equivalente è la seguente: trovare tutte le geometrie (più precisamente le metriche di queste) in cui la distanza più breve tra due punti sia costituita da una linea retta. L'originale problema di Hilbert è ritenuto troppo vago per ammettere una risposta definitiva. Tuttavia dall'originale è possibile derivare la formulazione del seguente problema: trovare tutte le geometrie tali che, rispetto alla geometria euclidea, devono mantenere gli assiomi di incidenza e di ordine, devono mantenere (anche se in forma debole) quello di congruenza e devono omettere l'equivalente del postulato delle parallele. Questo problema è stato risolto da Georg Hamel.

Una formulazione equivalente è: possiamo evitare il requisito di differenziabilità per le funzioni che definiscono un gruppo continuo di trasformazioni? La risposta positiva è stata trovata da John von Neumann nel 1930 per i gruppi bicompatti (con ampliamento nel 1952 ai gruppi localmente compatti da parte di Andrew M. Gleason); risolto in seguito anche per quelli abeliani, e con ampliamenti di Montgomery, Zipin e Yamabe nel 1952 e 1953.^[2]

Data la portata così generale, questo problema è rimasto tuttora irrisolto. Una parziale assiomatizzazione riguarda i postulati della meccanica quantistica, che sarebbero "completati" da una teoria della gravitazione quantistica.

Il settimo problema è stato risolto nel 1934 da Aleksandr Gel'fond con il teorema di Gel'fond.

L'ipotesi di Riemann non è stata finora né confutata né provata.

Il problema venne risolto da Emil Artin nel 1927, con il teorema di reciprocità di Artin.

La risposta negativa (ossia l'impossibilità di trovare una soluzione generale) si deve ai lavori di Julia Robinson, Hilary Putnam e Martin Davis, e infine al Teorema di Matiyasevich, 1970.

Il problema tratta la risoluzione delle forme quadratiche per coefficienti numerici algebrici. Si rappresenta quindi uno specifico numero tramite la sostituzione di numeri naturali.

Questa estensione è stata realizzata mediante l'utilizzo delle funzioni olomorfe in più variabili, che hanno proprietà simili alla funzione esponenziale e alle funzioni modulari ellittiche.

Il tredicesimo problema di Hilbert chiede se le equazioni di settimo grado possano essere risolte usando una composizione di addizione, sottrazione, moltiplicazione e divisione, oltre a un numero finito di funzioni algebriche di al più due variabili.

Inizialmente la comunità matematica pensò che il problema fosse stato risolto completamente dai matematici russi Vladimir Igorevič Arnol'd e Andrey Nikolaevich Kolmogorov nel 1957. Tuttavia, Kolmogorov e Arnold avevano risolto solo una variante del problema. La loro soluzione coinvolse quelle che i matematici chiamano funzioni continue, che sono funzioni senza discontinuità. Includono operazioni familiari come funzioni seno, coseno ed esponenziale, oltre a funzioni più esotiche. Ma i ricercatori non sono d’accordo sul fatto che Hilbert fosse interessato a questo tipo di approccio. Molti matematici credono che Hilbert intendesse funzioni algebriche, non funzioni continue.

Quindi il problema, ad oggi, risulta solo parzialmente risolto.^[3]

Il problema si propone di scoprire se certe algebre possono essere considerate finitamente generate.

Sia ${\displaystyle k}$ un campo e ${\displaystyle K}$ un sottocampo del campo delle funzioni razionali in ${\displaystyle n}$ variabili su ${\displaystyle k,}$ ossia un sottocampo di ${\displaystyle k(x_{1},\ldots ,x_{n}).}$ Il problema chiede se ogni ${\displaystyle k}$-algebra associativa

${\displaystyle R:=K\cap k[x_{1},\dots ,x_{n}],}$

sia finitamente generata su ${\displaystyle k.}$

L'idea è di cercare di porre una definizione rigorosa al problema di calcolo enumerativo di Schubert, definito come una branca di teoria delle intersezioni nel XIX secolo. Il problema consiste letteralmente in: "Stabilire rigorosamente e con una determinazione esatta dei limiti della loro validità quei numeri geometrici che Schubert in particolare ha determinato sulla base del cosiddetto principio di posizione speciale, o conservazione del numero, per mezzo del calcolo enumerativo da lui sviluppato. Sebbene l'algebra di oggi garantisca, in linea di principio, la possibilità di eseguire i processi di eliminazione, tuttavia per la dimostrazione dei teoremi della geometria enumerativa è richiesto decisamente di più, vale a dire, l'effettiva esecuzione del processo di eliminazione nel caso di equazioni di forma speciale in modo tale che il grado delle equazioni finali e la molteplicità delle loro soluzioni possano essere previsti."

Problema insoluto, anche per le curve algebriche di grado 8.

Problema risolto grazie ad Emil Artin nel 1927. Inoltre, è stato stabilito un limite massimo per il numero di termini quadrati necessari.

Nel 1928 Karl Reinhardt trovò un poliedro anisoedrale, ovvero in grado di tassellare lo spazio ma che non è la regione fondamentale di alcuna azione del gruppo delle simmetrie sullo spazio tassellato. Hilbert formulò la domanda riferendosi allo spazio euclideo tridimensionale in quanto riteneva probabile non esistere una tale tassellatura per il piano, mentre in realtà fu trovata nel 1935 da Heinrich Heesch.

La dimostrazione della congettura di Keplero è stata effettuata da Thomas Hales nel 1998. Sebbene già dopo la prima revisione la dimostrazione venne considerata corretta "al 99%", la dimostrazione formale è stata terminata e verificata soltanto nel 2014.

Risolto indipendentemente da John Nash e Ennio De Giorgi nel 1957.

Un tema di ricerca significativo per tutto il XX secolo, culminato nelle soluzioni per i casi non lineari.

Risultato: Sì/No/Aperto a seconda delle formulazioni più precise del problema.

Problema parzialmente risolto dal teorema di uniformizzazione di Riemann.

Il problema è formulato in modo troppo vago per poter stabilire se si possa considerare risolto o meno.

Mentre Hilbert preparava la lista dei problemi, ne stilò anche un altro che poi non fu incluso, riguardante criteri di semplicità e metodo generale. La scoperta dell'esistenza del problema 24 si deve a Rüdiger Thiele.

• Rowe, David; Gray, Jeremy J. (2000). The Hilbert Challenge. Oxford University Press. ISBN 0198506511
• Emilio Ambrisi, I Grandi Problemi di Hilbert, Matmedia.it
• Umberto Bottazzini, I problemi di Hilbert, un programma di ricerche per le "generazioni future", Lettera Matematica PRISTEM n.50-51
• (EN) David Hilbert, Mathematical Problems, in Bulletin of the American Mathematical Society, vol. 8, n. 10, 1902, pp. 437-439.

• Problemi irrisolti in matematica
• Libro scozzese
• Problemi per il millennio
• Problemi di Smale

• Wikimedia Commons contiene immagini o altri file su problemi di Hilbert

• Hilbert, problemi di, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) Hilbert’s 23 problems, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Eric W. Weisstein, Hilbert's Problems, su MathWorld, Wolfram Research.
• (EN) Lista dei 23 problemi, con la descrizione di quelli risolti, su mathacademy.com. URL consultato il 12 agosto 2004 (archiviato dall'url originale il 7 settembre 2004).
• (EN) Traduzione in inglese della conferenza di Hilbert, su aleph0.clarku.edu.
• (EN) Dettagli sulla soluzione del problema 18, su math.pitt.edu. URL consultato il 12 agosto 2004 (archiviato dall'url originale il 3 settembre 2006).
• (EN) "On Hilbert's 24th Problem: Report on a New Source and Some Remarks." (PDF), su ams.org.
• (EN) Conferenza tenuta da Hilbert al Congresso internazionale dei matematici a Parigi nel 1900 (PDF), su mat.uc.pt.

Portale Matematica

Portale Storia