| rdfs:comment
| - مارتن ديفيس (بالإنجليزية: Martin Davis) (و. 1928 م) هو رياضياتي، وأستاذ جامعي، وعالم حاسوب أمريكي، ولد في نيويورك، هو عضوٌ في مجتمع الرياضيات الأمريكي، والأكاديمية الأمريكية للفنون والعلوم. (ar)
- Martin Davis (* 1928 in New York City) ist ein US-amerikanischer Logiker und theoretischer Informatiker. (de)
- Martin Davis, (Nueva York, 1928) 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 del algoritmo DPLL. También es coautor, junto con y de Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science, un libro de texto sobre la teoría de la computabilidad. También ha escrito el libro La computadora universal, el cual trata la historia de los lógicos,desde Leibniz hasta Turing, cuyo trabajo ha hecho posible la creación de las computadoras. Así mismo es conocido por diseñar las . (es)
- Martin David Davis (born March 8, 1928) is an American mathematician, known for his work on Hilbert's tenth problem. (en)
- 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 David Davis (New York, 8 marzo 1928) è un matematico statunitense noto per il suo contributo al decimo problema di Hilbert. Di origini polacche, si è laureato nel 1950 nell'Università di Princeton. È professore emerito presso l'Università di New York. È uno degli autori dell'algoritmo DPLL e ha proposto un modello di macchine di Post-Turing. Nel 1975 gli è stato assegnato il Premio Chauvenet. (it)
- Martin Davis (ur. 1928) – amerykański matematyk znany z prac nad dziesiątym problemem Hilberta, opracowania procedury Davisa-Putnama, i modelu . W 1950 ukończył studia na Uniwersytecie w Princeton, gdzie Alonzo Church był jego promotorem. Obecnie profesor emerytowany Uniwersytetu Nowojorskiego. (pl)
- Martin David Davis (Nova Iorque, 8 de março de 1928) é um matemático estadunidense. É conhecido por seu trabalho sobre o décimo problema de Hilbert. Obteve o doutorado na Universidade de Princeton em 1950, orientado por Alonzo Church. É professor emérito da Universidade de Nova Iorque. É co-inventor dos algorítmos Davis-Putnam e DPLL. É coautor, com e , de Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science, um livro texto sobre teoria da computabilidade. É também conhecido por seu modelo de Máquinas de Post-Turing. (pt)
- Мартін Девід Девіс (англ. Martin Davis, народився у 1928 році) — американський математик, відомий своєю роботою, яка присвячена десятій проблемі Гільберта. (uk)
- 马丁·戴维·戴维斯（Martin David Davis，1928年3月8日－）是一位美国数学家，以在希尔伯特第十问题上的工作而著称。 (zh)
- Мартин Дэвид Дэвис (англ. Martin Davis, род. 1928 год) — американский математик, известный своей работой, которая посвящена десятой проблеме Гильберта. (ru)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)