Martin Davis

Page d’aide sur l’homonymie

Pour les articles homonymes, voir Davis.

Martin Davis
Martin Davis.
Biographie
Naissance
Décès
Sépulture
Cypress Lawn Memorial Park (en)Voir et modifier les données sur Wikidata
Nom de naissance
Martin David Davis
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Membre de
Directeur de thèse
Site web
Distinctions
Œuvres principales
Algorithme de Davis-Putnam, Computability & unsolvability / Martin Davis. - 1958 (d), algorithme DPLLVoir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle

Martin Davis, né le à New York et mort le à Berkeley[1], est un mathématicien américain connu pour ses travaux sur le dixième problème de Hilbert[ref 1].

Biographie

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).

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
  1. ↑ (en) « Martin David Davis - View Obituary & Service Information », sur Martin David Davis Obituary (consulté le )

Liens externes


Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.