Property |
Value |
dbo:abstract
|
- 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. 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 (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 (en). (fr)
- 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. 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 (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 (en). (fr)
|
dbo:almaMater
| |
dbo:award
| |
dbo:birthDate
| |
dbo:birthPlace
| |
dbo:birthYear
| |
dbo:citizenship
| |
dbo:discipline
| |
dbo:doctoralAdvisor
| |
dbo:doctoralStudent
| |
dbo:domain
| |
dbo:employer
| |
dbo:influencedBy
| |
dbo:institution
| |
dbo:knownFor
| |
dbo:nationality
| |
dbo:occupation
| |
dbo:thumbnail
| |
dbo:thumbnailCaption
|
- Photo de George M. Bergman
|
dbo:university
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 3652 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 1965 (xsd:integer)
- 2007 (xsd:integer)
|
prop-fr:champs
| |
prop-fr:commentaire
|
- Recueil de textes (fr)
- Recueil de textes (fr)
|
prop-fr:dateDeNaissance
| |
prop-fr:diplôme
| |
prop-fr:directeur
| |
prop-fr:directeurThèse
| |
prop-fr:fr
|
- machines Post-Turing (fr)
- machines Post-Turing (fr)
|
prop-fr:institutions
| |
prop-fr:issn
| |
prop-fr:lang
| |
prop-fr:langue
| |
prop-fr:lieu
| |
prop-fr:lieuDeNaissance
| |
prop-fr:légende
|
- Photo de George M. Bergman (fr)
- Photo de George M. Bergman (fr)
|
prop-fr:mois
|
- septembre (fr)
- septembre (fr)
|
prop-fr:nationalité
| |
prop-fr:nom
|
- Jackson (fr)
- Davis (fr)
- Martin Davis (fr)
- Jackson (fr)
- Davis (fr)
- Martin Davis (fr)
|
prop-fr:numéro
| |
prop-fr:oclc
| |
prop-fr:passage
| |
prop-fr:paysDeNaissance
| |
prop-fr:prénom
|
- Martin (fr)
- Allyn (fr)
- Martin (fr)
- Allyn (fr)
|
prop-fr:périodique
| |
prop-fr:renomméPour
| |
prop-fr:titre
|
- The Undecidable : Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions (fr)
- Interview with Martin Davis (fr)
- The Undecidable : Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions (fr)
- Interview with Martin Davis (fr)
|
prop-fr:trad
|
- Post–Turing machine (fr)
- Post–Turing machine (fr)
|
prop-fr:url
| |
prop-fr:volume
| |
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
| |
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- 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. 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 (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 (en). (fr)
- 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. 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 (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 (en). (fr)
|
rdfs:label
|
- Martin Davis (fr)
- Martin Davis (de)
- Martin Davis (it)
- Martin Davis (pl)
- Martin Davis (vi)
- Martin Davis (mathematician) (en)
- Мартін Девіс (uk)
- 马丁·戴维·戴维斯 (zh)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:isPrimaryTopicOf
| |
foaf:name
|
- (fr)
- Martin Davis (fr)
- (fr)
- Martin Davis (fr)
|
is dbo:author
of | |
is dbo:doctoralStudent
of | |
is dbo:influenced
of | |
is dbo:namedAfter
of | |
is dbo:producer
of | |
is dbo:starring
of | |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageWikiLink
of | |
is prop-fr:auteur
of | |
is prop-fr:producteur
of | |
is prop-fr:étudiantsThèse
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |