FREE HISTORICAL FIGURES OF COMPUTING DOSSIER

Martin Davis

1928–2023 · Mathematician, Computer Scientist

Mathematician, Computer Scientist

Hilbert's 10th problem; Davis-Putnam algorithm; computability theory