Martin Davis

Les parents de Martin Davis se sont rencontrés à Łódź, en Pologne. Ils se sont mariés à New York, où ils se sont de nouveau rencontrés après s'être perdu de vue[ref 1]. Martin Davis a grandi dans le Bronx, puis a fait des études encouragé par ses parents[ref 2].

Il a obtenu son doctorat de l'université de Princeton en 1950, sous la direction d'Alonzo Church[ref 1]. Il est professeur émérite de l'université de New York. Il est co-inventeur des algorithmes de Davis-Putnam et DPLL. Il est coauteur, avec Ron Sigal et Elaine Weyuker (en), de l'article Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Calculabilité, complexité et langages, seconde édition : Les fondements de l'informatique théorique), un livre sur la théorie de la calculabilité. Il est aussi connu pour son modèle de machines Post-Turing (en).

• (en) Martin Davis (dir.), The Undecidable : Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions, Dover Publication, 1965
  Recueil de textes

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Martin Davis » (voir la liste des auteurs).
• (en) Allyn Jackson, « Interview with Martin Davis », Notices of the American Mathematical Society, Providence, Rhode Island, American Mathematical Society, vol. 55, n^o 5,‎ septembre 2007, p. 560–571 (ISSN 0002-9920, OCLC 1480366, lire en ligne)

• (en) Site officiel
• Ressources relatives à la recherche :
  • (en) Digital Bibliography & Library Project
  • (en) Mathematics Genealogy Project
• Notices d'autorité :

  • VIAF
  • ISNI
  • BnF (données)
  • IdRef
  • LCCN
  • GND
  • Japon
  • CiNii
  • Espagne
  • Belgique
  • Pays-Bas
  • Israël
  • NUKAT
  • Catalogne
  • Norvège
  • Croatie
  • Tchéquie
  • Lettonie
  • WorldCat
• Sur Davis et un de ses livres