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]

Altri progetti[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

Controllo di autorità VIAF: (EN85381152 · LCCN: (ENn50035603 · ISNI: (EN0000 0001 0921 5209 · GND: (DE116040866 · BNF: (FRcb12298096f (data)