Martin Davis

Prénom : Martin
Nom : Davis

Informations de Wikipedia (v2.1 – 26/07/2025 04:49:07)

Martin Davis: Martin Davis, né le 8 mars 1928 à New York et mort le 1er janvier 2023 à Berkeley, est un mathématicien américain connu pour ses travaux sur le dixième problème de Hilbert.

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. Martin Davis a grandi dans le Bronx, puis a fait des études encouragé par ses parents.

Il a obtenu son doctorat de l'université de Princeton en 1950, sous la direction d'Alonzo Church. 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).
Erreur de référence : Des balises <ref> existent pour un groupe nommé « ref », mais aucune balise <references group="ref"/> correspondante n’a été trouvée

Ces informations proviennent du site Wikipedia (v2.1 – 26/07/2025 04:49:07). Elles sont affichées à titre indicatif en attendant un contenu plus approprié.

Tous les rôles de Martin Davis actuellement dans le mediabrol

Acteurs
- Resident Evil (infos)
  - Charon dans S1E2 Le diable (infos) (Resident Evil)
Paramètres de langue du site
Si vous préférez continuer sur le site en français, cliquez sur "Annuler". Si vous annulez, ce message n'apparaîtra plus durant la session.
You are on the French version of the site, but your system indicates that you prefer to use the English language.
The entire site is not translated yet, but the menus and buttons on the interface are largely translated.

Would you like to reach the page in English?
Click here to continue in English: Consult the English version of this page
U bevindt zich op de Franse versie van de site, maar uw systeem geeft aan dat u liever de Nederlandse taal gebruikt.
De hele site is nog niet vertaald, maar de menu's en knoppen op de interface zijn grotendeels vertaald.

Wilt u de pagina in het Nederlands bereiken?
Klik hier om door te gaan in het Nederlands: Raadpleeg de Nederlandse versie van deze pagina
Sie befinden sich in der französischen Version der Website, Ihr System gibt jedoch an, dass Sie die deutsche Sprache bevorzugen.
Die gesamte Site ist noch nicht übersetzt, aber die Menüs und Schaltflächen auf der Benutzeroberfläche sind weitgehend übersetzt.

Möchten Sie die Seite auf Deutsch erreichen?
Klicken Sie hier, um fortzufahren: Konsultieren Sie die deutsche Version dieser Seite
Version en cache
26/07/2025 04:49:07 Cette version de la page est en cache (à la date du 26/07/2025 04:49:07) afin d'accélérer le traitement. Vous pouvez activer le mode utilisateur dans le menu en haut pour afficher la version plus récente de la page.
Document créé le 01/05/2020, dernière modification le 14/04/2025
Source du document imprimé : https://www.gaudry.be/personne/davis-martin.html
L'infobrol est un site personnel dont le contenu n'engage que moi. Le texte est mis à disposition sous licence CreativeCommons(BY-NC-SA). Plus d'info sur les conditions d'utilisation et sur l'auteur.