Martin Davis

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

Martin David Davis (New York, 8 marzo 1928Berkeley, 1º gennaio 2023) è stato un matematico statunitense noto per il suo contributo significativo nei campi della teoria della calcolabilità e della logica matematica. È meglio conosciuto per il suo lavoro sul decimo problema di Hilbert che porta al teorema di Matijasevič. Ha anche proposto il modello di macchine Post-Turing e ha co-sviluppato l'algoritmo Davis-Putnam-Logemann-Loveland (DPLL).

Martin Davis nel 1996

Davis ha vinto il Leroy P. Steele Prize, il Premio Chauvenet (con Reuben Hersh) e il Lester R. Ford Award. Inoltre, è stato membro dell'American Academy of Arts and Sciences e membro dell'American Mathematical Society.

Davis è deceduto a Berkeley il 1° gennaio 2023 all'età di 94 anni.[1] Poche ore dopo è morta anche la moglie Virginia con cui era sposato da più di settant'anni.[2]

BiografiaModifica

I genitori di Davis erano immigrati ebrei negli Stati Uniti da Łódź, in Polonia, e si sono sposati dopo essersi incontrati di nuovo a New York City. Davis è nato a New York City l'8 marzo 1928. È cresciuto nel Bronx, dove i genitori lo hanno incoraggiato a ottenere un'istruzione completa.[3] Ha studiato matematica al City College diplomandosi nel 1948 e ha ottenuto il dottorato di ricerca all'Università di Princeton nel 1950.[4] La sua tesi di dottorato, intitolata On the Theory of Recursive Unsolvability, è stata supervisionata da un matematico e scienziato informatico americano Alonzo Church.

Carriera accademicaModifica

Durante un tirocinio di ricerca presso l'Università dell'Illinois a Urbana-Champaign nei primi anni '50, è entrato a far parte del Control Systems Lab ed è diventato uno dei primi programmatori dell'ORDVAC. Successivamente ha lavorato presso i Bell Labs e la RAND Corporation prima di entrare a far parte dell'Università di New York. Durante la sua permanenza alla NYU, ha contribuito a creare il dipartimento di informatica dell'università. Si è ritirato dalla New York University nel 1996.[4] Successivamente è stato membro della facoltà in visita presso l'Università della California, Berkeley.[5]

Il decimo problema di HilbertModifica

Davis ha lavorato per la prima volta sul decimo problema di Hilbert durante la sua tesi di dottorato, lavorando con Alonzo Church. Il teorema, come posto dal matematico tedesco David Hilbert, pone una domanda: data un'equazione diofantea, esiste un algoritmo che può decidere se l'equazione è risolvibile? La dissertazione di Davis avanzò la congettura che il problema fosse irrisolvibile. Negli anni '50 e '60, Davis, insieme ai matematici americani Hilary Putnam e Julia Robinson, fece progressi verso la soluzione di questa congettura. La dimostrazione fu finalmente completata nel 1970 con il lavoro del matematico russo Yuri Matiyasevich. Ciò ha portato al teorema MRDP o DPRM, chiamato per Davis, Putnam, Robinson e Matiyasevich. Descrivendo il problema, Davis aveva precedentemente affermato di aver trovato il problema "irresistibilmente seducente" quando era uno studente universitario e in seguito era diventato progressivamente la sua "ossessione per tutta la vita".[6]

NoteModifica

  1. ^ (EN) Martin David Davis, in Harris Funeral Home. URL consultato il 4 gennaio 2023.
  2. ^ (EN) Harold Davis, Remembering Martin and Virginia Davis, su digitalfieldguide.com, 5 gennaio 2023. URL consultato l'8 gennaio 2023.
  3. ^ (EN) Allyn Jackson, 5 (PDF), in Interview with Martin Davis, Notices of the American Mathematical Society, vol. 55, Providence, Rhode Island, settembre 2007, pp. 560–571.
  4. ^ a b (EN) Martin Davis – Biography, in Maths History. URL consultato l'8 gennaio 2023.
  5. ^ (EN) Martin Davis | Department of Mathematics at University of California Berkeley, su math.berkeley.edu. URL consultato l'8 gennaio 2023.
  6. ^ (EN) Martin Davis on Computability, Computational Logic, and Mathematical Foundations, in Outstanding Contributions to Logic, vol. 10, 2016, ISBN 978-3-319-41841-4.

Voci correlateModifica

Altri progettiModifica

Collegamenti esterniModifica

Controllo di autoritàVIAF (EN85381152 · ISNI (EN0000 0001 0921 5209 · LCCN (ENn50035603 · GND (DE116040866 · BNE (ESXX1498790 (data) · BNF (FRcb12298096f (data) · J9U (ENHE987007260362605171 · NSK (HR000331222 · NDL (ENJA00437365 · CONOR.SI (SL46588771 · WorldCat Identities (ENlccn-n50035603