Martin Davis (1928 – 2023)

Martin Davis ci ha lasciati nel giorno di Capodanno 2023, seguito dopo poche ore dalla moglie Virginia, con cui era sposato da 71 anni.

Davis, nato l’8 marzo 1928 nel Bronx, era professore emerito all’Università di New York dal 1996. Davis è stato uno dei padri e dei più autorevoli esponenti della teoria della computabilità e ha dato un contributo fondamentale per la soluzione del decimo problema di Hilbert.