Martin David Davis, is an American mathematician, known for his work on Hilbert's tenth problem. He received his Ph.D. from Princeton University in 1950, where his adviser was Alonzo Church. He is Professor Emeritus at New York University. He is the co-inventor of the Davis-Putnam and the DPLL algorithms. He is a co-author, with Ron Sigal and Elaine J.
| Property | Value |
|---|
| dbpedia-owl:abstract
|
- Martin Davis, es un matemático estadounidense conocido por su trabajo relacionado con el décimo problema de Hilbert. Obtuvo su PhD en la Universidad de Princeton en 1950 y su tutor fue Alonzo Church. Es profesor emérito de la Universidad de Nueva York. Es coinventor del algoritmo de Davis-Putnam y de los algoritmos DPLL. También es coautor, junto con Ron Sigal y Elaine J. Weyuker de Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science, un libro de texto sobre la teoría de la computabilidad. Así mismo es conocido por diseñar las máquinas Post-Turing.
- Martin David Davis, is an American mathematician, known for his work on Hilbert's tenth problem. He received his Ph.D. from Princeton University in 1950, where his adviser was Alonzo Church. He is Professor Emeritus at New York University. He is the co-inventor of the Davis-Putnam and the DPLL algorithms. He is a co-author, with Ron Sigal and Elaine J. Weyuker, of Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science, a textbook on the theory of computability. He is also known for his model of Post-Turing machines.
- Martin Davis ist einer der bedeutendsten lebenden Logiker und theoretischen Informatiker.
|
| dbpedia-owl:almaMater
| |
| dbpedia-owl:birthPlace
| |
| dbpedia-owl:doctoralAdvisor
| |
| dbpedia-owl:individualisedPnd
| |
| dbpedia-owl:knownFor
| |
| dbpedia-owl:nationality
| |
| dbpedia-owl:thumbnail
| |
| dbpprop:almaMater
| |
| dbpprop:birthDate
| |
| dbpprop:birthPlace
| |
| dbpprop:caption
|
- Photo courtesy George M. Bergman
|
| dbpprop:doctoralAdvisor
| |
| dbpprop:hasPhotoCollection
| |
| dbpprop:imageSize
| |
| dbpprop:knownFor
| |
| dbpprop:name
| |
| dbpprop:nationality
| |
| dbpprop:reference
| |
| dbpprop:wikiPageUsesTemplate
| |
| dbpprop:workplaces
| |
| rdf:type
| |
| rdfs:comment
|
- Martin Davis ist einer der bedeutendsten lebenden Logiker und theoretischen Informatiker.
- Martin David Davis, is an American mathematician, known for his work on Hilbert's tenth problem. He received his Ph.D. from Princeton University in 1950, where his adviser was Alonzo Church. He is Professor Emeritus at New York University. He is the co-inventor of the Davis-Putnam and the DPLL algorithms. He is a co-author, with Ron Sigal and Elaine J.
- Martin Davis, es un matemático estadounidense conocido por su trabajo relacionado con el décimo problema de Hilbert. Obtuvo su PhD en la Universidad de Princeton en 1950 y su tutor fue Alonzo Church. Es profesor emérito de la Universidad de Nueva York. Es coinventor del algoritmo de Davis-Putnam y de los algoritmos DPLL. También es coautor, junto con Ron Sigal y Elaine J.
|
| rdfs:label
|
- Martin Davis
- Martin Davis
- Martin Davis
|
| owl:sameAs
| |
| skos:subject
| |
| foaf:depiction
| |
| foaf:name
| |
| foaf:page
| |
| is dbpedia-owl:doctoralStudent
of | |
| is dbpprop:doctoralStudents
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
