Martin Davis
Da Wikipedia, l'enciclopedia libera.
Martin David Davis (New York, 1928) è un matematico statunitense noto per il suo contributo al decimo problema di Hilbert.
Di origini polacche, si è laureato nel 1950 nell'Università di Princeton. È professore emerito presso la New York University.
È uno degli autori dell'algoritmo DPLL e ha proposto un modello di macchine di Post-Turing.
Voci correlate [modifica]
Collegamenti esterni [modifica]
- (EN) Sito ufficiale
- (EN) Martin Davis su Mathematics Genealogy Project
Controllo di autorità VIAF: 85381152 LCCN: n50035603
