Le ultime informazioni attendibili sulla funzione $\zeta$ di Riemann non erano molto ottimistiche. Come in varie occasioni un po' tutti i blogger e divulgatori matematici hanno affermato, l'approccio alla dimostrazione dell'ipotesi di Riemann e alla ricerca degli zeri della funzione $\zeta$ segue le due strade della dimostrazione formale e dell'approccio numerico. Proprio a quest'ultimo si era rivolto Alan Turing quando, poco prima della guerra (1939), aveva richiesto un supporto economico alla Royal Sociaty per la costruzione di una macchina allo scopo di calcolare i valori approssimati della $zeta$ di Riemann sulla linea critica. Il calcolo richiedeva la somma di serie trigonometriche, probabilmente ispirandosi a una macchina costruita a Liverpool proprio per eseguire la somma di serie di questo genere.
Turing, aiutato dallo studente canadese Donald MacPhail, realizzò anche un progetto, che è giunto fino a noi, e iniziò la costruzione della macchina stessa. Le operazioni, però, vennero interrotte a causa dei suoi impegni con lo spionaggio britannico e i pezzi andarono successivamente perduti.
Tutte le informazioni, incluse le immagini, vengono dal sito di Andrew Hodges
Nessun commento:
Posta un commento