Martin Davis

Un article de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 22 mars 2021 à 03:16 et modifiée en dernier par Mi Ga (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.
Page d’aide sur l’homonymie

Pour les articles homonymes, voir Davis.

Martin Davis
Description de cette image, également commentée ci-après
Photo de George M. Bergman

Naissance (96 ans)
New York (États-Unis)
Nationalité Américain
Domaines informatique, algorithmique, mathématiques
Institutions Université de New York
Diplôme Princeton University
Directeur de thèse Alonzo Church
Renommé pour algorithme de Davis-Putnam, algorithme DPLL
Site www.cs.nyu.edu/cs/faculty/davism

modifier Consultez la documentation du modèle

Martin Davis, ou Martin David Davis (né en 1928 à New York) est un mathématicien américain connu pour ses travaux sur le dixième problème de Hilbert[ref 1]. 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).

Biographie

Les parents de 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]. Davis a grandi dans le Bronx, puis a fait des études encouragé par ses parents[ref 2].

Publications

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

Notes et références

  1. ↑ a b et c p. 560
  2. ↑ p. 561

Liens externes

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Martin_Davis&oldid=181108118 ».