Hales

Hales

Hales Thomas Callister (San Antonio, Texas, 1958) matematico statunitense. È noto per aver dimostrato nel 1998, grazie anche all’aiuto di un potente computer, la congettura di → Keplero, problema di geometria discreta noto anche come problema di impacchettamento delle sfere (sphere packing). Il problema riguarda quale sia la migliore disposizione di un insieme di sfere affinché esse riempiano il più possibile un determinato spazio euclideo tridimensionale; esso fa anche parte del diciottesimo problema di Hilbert (→ Hilbert, problemi di). L’attenzione di Hales, che ha conseguito il dottorato alla università di Princeton e insegna matematica all’università di Pittsburgh, è rivolta al delicato problema di come si possa assicurare correttezza e rigore alla matematica in un’epoca in cui gran parte del lavoro di esplorazione o di calcolo è effettuata da computer sempre più potenti e veloci, condizione che rende estremamente difficile il controllo umano dei risultati ottenuti.