Martin Davis (mathematician) (original) (raw)
مارتن ديفيس (بالإنجليزية: Martin Davis) (و. 1928 م) هو رياضياتي، وأستاذ جامعي، وعالم حاسوب أمريكي، ولد في نيويورك، هو عضوٌ في مجتمع الرياضيات الأمريكي، والأكاديمية الأمريكية للفنون والعلوم.
| Property | Value |
|---|---|
| dbo:abstract | مارتن ديفيس (بالإنجليزية: 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) |
| dbo:almaMater | dbr:Princeton_University |
| dbo:award | dbr:Chauvenet_Prize |
| dbo:birthDate | 1928-03-08 (xsd:date) |
| dbo:birthPlace | dbr:New_York_City |
| dbo:doctoralAdvisor | dbr:Alonzo_Church |
| dbo:doctoralStudent | dbr:Donald_W._Loveland dbr:Moshe_Koppel |
| dbo:institution | dbr:New_York_University |
| dbo:knownFor | dbr:DPLL_algorithm dbr:Davis–Putnam_algorithm dbr:Hilbert's_tenth_problem |
| dbo:nationality | dbr:United_States |
| dbo:thumbnail | wiki-commons:Special:FilePath/Martin_Davis.jpg?width=300 |
| dbo:wikiPageExternalLink | https://archive.org/details/appliednonstanda0000davi https://books.google.com/books%3Fid=mCc3DwAAQBAJ http://www.cs.nyu.edu/cs/faculty/davism https://www.google.com/books%3Fid=0yP0AwAAQBAJ https://www.google.com/books%3Fid=dSHIIx0uGx0C https://www.youtube.com/watch%3Ft=5941&v=ultMxODJE7o&feature=youtu.be |
| dbo:wikiPageID | 953041 (xsd:integer) |
| dbo:wikiPageLength | 7442 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1122729722 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Princeton_University dbr:DPLL_algorithm dbr:United_States dbr:University_of_Illinois_Urbana-Champaign dbr:Davis–Putnam_algorithm dbr:ORDVAC dbc:1928_births dbc:Living_people dbr:Lester_R._Ford dbr:Łódź dbr:Fellow dbr:Leroy_P._Steele_Prize dbr:Mathematician dbc:20th-century_American_Jews dbc:20th-century_American_mathematicians dbc:21st-century_American_mathematicians dbc:Fellows_of_the_American_Academy_of_Arts_and_Sciences dbc:Institute_for_Advanced_Study_visiting_scholars dbc:Number_theorists dbc:Princeton_University_alumni dbr:Bronx dbr:Alonzo_Church dbr:American_Academy_of_Arts_and_Sciences dbr:American_Mathematical_Society dbc:21st-century_American_Jews dbr:Chauvenet_Prize dbr:Diophantine_set dbr:Hilbert's_tenth_problem dbr:Halting_problem dbc:Fellows_of_the_American_Mathematical_Society dbc:Scientists_from_the_Bronx dbc:Courant_Institute_of_Mathematical_Sciences_faculty dbc:American_logicians dbr:Donald_W._Loveland dbr:Poland dbr:Post–Turing_machine dbr:Influence_of_non-standard_analysis dbr:New_York_City dbr:New_York_University dbr:YouTube dbr:Reuben_Hersh dbr:Professor_Emeritus dbr:Moshe_Koppel dbr:Criticism_of_non-standard_analysis |
| dbp:almaMater | dbr:Princeton_University |
| dbp:awards | dbr:Chauvenet_Prize |
| dbp:birthDate | 1928-03-08 (xsd:date) |
| dbp:birthPlace | dbr:New_York_City |
| dbp:caption | Davis in 1996 (en) |
| dbp:doctoralAdvisor | dbr:Alonzo_Church |
| dbp:doctoralStudents | dbr:Donald_W._Loveland dbr:Moshe_Koppel |
| dbp:imageSize | 200 (xsd:integer) |
| dbp:knownFor | dbr:DPLL_algorithm dbr:Davis–Putnam_algorithm work on Hilbert's tenth problem (en) |
| dbp:name | Martin Davis (en) |
| dbp:nationality | dbr:United_States |
| dbp:thesisTitle | On the Theory of Recursive Unsolvability (en) |
| dbp:thesisYear | 1950 (xsd:integer) |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:Cite_book dbt:Commons_category dbt:Doi dbt:Other_people dbt:Reflist dbt:Short_description dbt:Wikiquote-inline dbt:Birth_date_and_age dbt:Infobox_scientist dbt:US-mathematician-stub dbt:Chauvenet_Prize_recipients |
| dbp:workplaces | dbr:New_York_University |
| dct:subject | dbc:1928_births dbc:Living_people dbc:20th-century_American_Jews dbc:20th-century_American_mathematicians dbc:21st-century_American_mathematicians dbc:Fellows_of_the_American_Academy_of_Arts_and_Sciences dbc:Institute_for_Advanced_Study_visiting_scholars dbc:Number_theorists dbc:Princeton_University_alumni dbc:21st-century_American_Jews dbc:Fellows_of_the_American_Mathematical_Society dbc:Scientists_from_the_Bronx dbc:Courant_Institute_of_Mathematical_Sciences_faculty dbc:American_logicians |
| rdf:type | owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person wikidata:Q901 |
| 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) |
| rdfs:label | مارتن ديفيس (ar) Martin Davis (de) Martin Davis (es) Martin Davis (fr) Martin Davis (disambigua) (it) Martin Davis (it) Martin Davis (mathematician) (en) Martin Davis (pl) Martin Davis (pt) Дэвис, Мартин (ru) Дэвис, Мартин (математик) (ru) Мартін Девіс (uk) 马丁·戴维·戴维斯 (zh) |
| owl:sameAs | http://d-nb.info/gnd/116040866 http://viaf.org/viaf/85381152 https://dblp.org/pid/d/MartinDDavis wikidata:Martin Davis (mathematician) wikidata:Martin Davis (mathematician) http://data.bibliotheken.nl/id/thes/p067955827 dbpedia-ar:Martin Davis (mathematician) http://arz.dbpedia.org/resource/مارتن_ديفيس http://azb.dbpedia.org/resource/مارتین_دیویس dbpedia-de:Martin Davis (mathematician) dbpedia-es:Martin Davis (mathematician) dbpedia-fa:Martin Davis (mathematician) dbpedia-fr:Martin Davis (mathematician) http://ht.dbpedia.org/resource/Martin_Davis dbpedia-it:Martin Davis (mathematician) dbpedia-it:Martin Davis (mathematician) dbpedia-no:Martin Davis (mathematician) dbpedia-pl:Martin Davis (mathematician) dbpedia-pt:Martin Davis (mathematician) dbpedia-ru:Martin Davis (mathematician) dbpedia-ru:Martin Davis (mathematician) dbpedia-uk:Martin Davis (mathematician) dbpedia-vi:Martin Davis (mathematician) dbpedia-zh:Martin Davis (mathematician) https://global.dbpedia.org/id/GodG |
| prov:wasDerivedFrom | wikipedia-en:Martin_Davis_(mathematician)?oldid=1122729722&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Martin_Davis.jpg |
| foaf:isPrimaryTopicOf | wikipedia-en:Martin_Davis_(mathematician) |
| foaf:name | Martin Davis (en) |
| is dbo:doctoralStudent of | dbr:Alonzo_Church |
| is dbo:wikiPageDisambiguates of | dbr:Martin_Davis |
| is dbo:wikiPageRedirects of | dbr:Davis,_Martin dbr:Martin_David_Davis |
| is dbo:wikiPageWikiLink of | dbr:Proof_of_impossibility dbr:Elementary_Calculus:_An_Infinitesimal_Approach dbr:Entscheidungsproblem dbr:Algorithm dbr:Resolution_(logic) dbr:Characteristica_universalis dbr:DPLL_algorithm dbr:Davis–Putnam_algorithm dbr:Index_of_philosophy_articles_(I–Q) dbr:Influence_of_nonstandard_analysis dbr:Intuitionism dbr:List_of_inventions_and_discoveries_by_women dbr:List_of_logicians dbr:List_of_people_by_Erdős_number dbr:ORDVAC dbr:Paul_R._Halmos_–_Lester_R._Ford_Award dbr:Systems_of_Logic_Based_on_Ordinals dbr:Courant_Institute_of_Mathematical_Sciences dbr:Mathematical_logic dbr:Oracle_machine dbr:Rewriting dbr:Church–Turing_thesis dbr:Codebreaker_(film) dbr:Gennady_Semenovich_Makanin dbr:Gottfried_Wilhelm_Leibniz dbr:Criticism_of_nonstandard_analysis dbr:Yuri_Matiyasevich dbr:Harold_Davis_(photographer) dbr:Davis,_Martin dbr:Leroy_P._Steele_Prize dbr:Partial_function dbr:Theoretical_computer_science dbr:Theory_of_computation dbr:Microcontinuity dbr:Automated_theorem_proving dbr:Brouwer–Hilbert_controversy dbr:Turing's_proof dbr:Julia_Robinson dbr:Law_of_excluded_middle dbr:Alan_Turing dbr:Algorithm_characterizations dbr:Alonzo_Church dbr:Chauvenet_Prize dbr:Diophantine_set dbr:Handbook_of_Automated_Reasoning dbr:Hilbert's_tenth_problem dbr:History_of_the_Church–Turing_thesis dbr:List_of_Jewish_mathematicians dbr:List_of_NYU_Courant_Institute_people dbr:List_of_New_York_University_faculty dbr:Gödel's_incompleteness_theorems dbr:Halting_problem dbr:Hilary_Putnam dbr:Hilbert's_problems dbr:Counter_machine dbr:Hypercomputation dbr:Alan_Turing_Centenary_Conference dbr:John_Corcoran_(logician) dbr:L._E._J._Brouwer dbr:Herbrand_Award dbr:Register_machine dbr:Diophantine_equation dbr:Post–Turing_machine dbr:Solomonoff's_theory_of_inductive_inference dbr:On_Formally_Undecidable_Propositions_o...cipia_Mathematica_and_Related_Systems dbr:Random-access_machine dbr:Random-access_stored-program_machine dbr:Seymour_Ginsburg dbr:Reuben_Hersh dbr:Martin_Davis dbr:Mechanism_(philosophy) dbr:Turing_machine dbr:Universal_Turing_machine dbr:Semi-Thue_system dbr:The_Movement_For_a_Democracy_of_Content dbr:Moshe_Koppel dbr:Super-recursive_algorithm dbr:Turing_machine_examples dbr:Wolfram's_2-state_3-symbol_Turing_machine dbr:Martin_David_Davis |
| is foaf:primaryTopic of | wikipedia-en:Martin_Davis_(mathematician) |
