Cinquantamila.it La storia raccontata da Giorgio Dell'Arti

Martin Davis (1928-2023). Matematico americano. Uno dei più autorevoli esponenti della teoria della computabilità (che indaga l’esistenza o meno di algoritmi risolutivi di problemi). Era noto soprattutto per il lavoro sul decimo problema di Hilbert, posto dal matematico David Hilbert nel 1900. Davis e i contributi di Julia Robinson e Hilary Putnam permisero a Yuri Matiyasevich di risolvere il problema nel 1970. Computability and Unsolvability (1958) di Davis è stato un classico per gli studenti di informatica; in Italia è uscito Il calcolatore universale. Da Leibniz a Turing (Adelphi, 2002). È morto a 94 anni a Berkeley, in California, dov’era visiting professor dal 1996 dopo il pensionamento dalla New York University, di cui era emerito. Poche ore dopo è morta anche la moglie Virginia, con cui era sposato da 71 anni [CdS].

GIORGIO DELL’ARTI, scheda aggiornata al 16 gennaio 2023 (fonte Anteprima)