Martin Davis

Da Wikipedia, l'enciclopedia libera.
bussola Disambiguazione – Se stai cercando l'omonimo schermidore, vedi Martin Davis (schermidore).
Martin Davis

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 | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

Controllo di autorità VIAF: 85381152 LCCN: n50035603