Martin Davis

matematico statunitense
Nota disambigua.svg Disambiguazione – Se stai cercando altri significati, vedi Martin Davis (disambigua).

Martin David Davis (New York, 8 marzo 1928) è un matematico statunitense noto per il suo contributo al decimo problema di Hilbert.

Martin Davis

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.

Nel 1975 gli è stato assegnato il Premio Chauvenet.

Voci correlateModifica

Altri progettiModifica

Collegamenti esterniModifica

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