Apri il menu principale
Nota disambigua.svg Disambiguazione – Se stai cercando altri significati, vedi Martin Davis (disambigua).
Martin Davis

Martin David Davis (New York, 8 marzo 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 l'Università di New York.

È uno degli autori dell'algoritmo DPLL e ha proposto un modello di macchine di Post-Turing.

Voci correlateModifica

Altri progettiModifica

Collegamenti esterniModifica

Controllo di autoritàVIAF (EN85381152 · ISNI (EN0000 0001 0921 5209 · LCCN (ENn50035603 · GND (DE116040866 · BNF (FRcb12298096f (data) · NDL (ENJA00437365 · WorldCat Identities (ENn50-035603