مارتن ديفيس (Q596381)

عالم رياضيات أمريكي

اللغة	التسمية	الوصف	أسماء أخرى
العربية	مارتن ديفيس	عالم رياضيات أمريكي
الإنجليزية	Martin Davis	American mathematician (1928–2023)	Martin David Davis Martin D. Davis

بيانات

Wikidata item ^{الإنجليزية}

Q1239172

٠ مرجع

occupation ^{الإنجليزية}

رياضياتي

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

أستاذ جامعي

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

عالم حاسوب

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

VIAF ID ^{الإنجليزية}

85381152

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

ISNI ^{الإنجليزية}

0000 0001 0921 5209

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

country of citizenship ^{الإنجليزية}

الولايات المتحدة

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

place of birth ^{الإنجليزية}

مدينة نيويورك

country ^{الإنجليزية}

الولايات المتحدة

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

field of work ^{الإنجليزية}

نظرية الأعداد

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

رياضيات

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

معضلة هيلبرت العاشرة

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

نظرية الحسوبية

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

GND ID ^{الإنجليزية}

116040866

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Freebase ID ^{الإنجليزية}

/m/03syk6

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

instance of ^{الإنجليزية}

إنسان

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

educated at ^{الإنجليزية}

جامعة پرنستون

academic degree ^{الإنجليزية}

دكتوراه الفلسفة

end time ^{الإنجليزية}

1950^{http://data.marefa.org/entity/Q1985727}

academic major ^{الإنجليزية}

رياضيات

start time ^{الإنجليزية}

1948^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

ثانوية البرونكس للعلوم

start time ^{الإنجليزية}

1940^{http://data.marefa.org/entity/Q1985727}

end time ^{الإنجليزية}

1944^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

كلية مدينة نيويورك

start time ^{الإنجليزية}

1944^{http://data.marefa.org/entity/Q1985727}

end time ^{الإنجليزية}

1948^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

date of birth ^{الإنجليزية}

٨ مارس 1928^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

image ^{الإنجليزية}

Martin Davis.jpg
٤٠٠ × ٢٨٥؛ ٢١ كيلوبايت

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

given name ^{الإنجليزية}

مارتن

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

member of ^{الإنجليزية}

الأكاديمية الأمريكية للفنون والعلوم

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

جمعية الرياضيات الأمريكية

start time ^{الإنجليزية}

١ نوفمبر 2012^{http://data.marefa.org/entity/Q1985727}

subject has role ^{الإنجليزية}

زميل الجمعية الأمريكية للرياضيات

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Commons category ^{الإنجليزية}

Martin Davis

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Erdős number ^{الإنجليزية}

٣

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

doctoral advisor ^{الإنجليزية}

ألونزو تشرتش

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

FAST ID ^{الإنجليزية}

1434449

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

family name ^{الإنجليزية}

ديفيس

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

SNAC ARK ID ^{الإنجليزية}

w67h29sz

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

DBLP author ID ^{الإنجليزية}

d/MartinDDavis

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

award received ^{الإنجليزية}

جائزة هيربراند

point in time ^{الإنجليزية}

2005^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

جائزة لوري ستيل

point in time ^{الإنجليزية}

1975^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

جائزة بول هالموس وليستير فورد

point in time ^{الإنجليزية}

1982^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

زمالة غوغنهايم

point in time ^{الإنجليزية}

1983^{http://data.marefa.org/entity/Q1985727}

field of work ^{الإنجليزية}

علم الحاسوب

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

زميل الجمعية الأمريكية للرياضيات

point in time ^{الإنجليزية}

2013^{http://data.marefa.org/entity/Q1985727}

announcement date ^{الإنجليزية}

١ نوفمبر 2012^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Chauvenet Prize ^{الإنجليزية}

point in time ^{الإنجليزية}

1975^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

employer ^{الإنجليزية}

جامعة نيويورك لانگون الصحي

start time ^{الإنجليزية}

1959^{http://data.marefa.org/entity/Q1985727}

end time ^{الإنجليزية}

1960^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

جامعة إلينوي في إربانا-شامپين

start time ^{الإنجليزية}

1950^{http://data.marefa.org/entity/Q1985727}

end time ^{الإنجليزية}

1952^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

معهد الدراسات المتقدمة

start time ^{الإنجليزية}

1952^{http://data.marefa.org/entity/Q1985727}

end time ^{الإنجليزية}

1954^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

جامعة كاليفورنيا، ديڤس

start time ^{الإنجليزية}

1954^{http://data.marefa.org/entity/Q1985727}

end time ^{الإنجليزية}

1955^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

جامعة ولاية أوهايو

start time ^{الإنجليزية}

1955^{http://data.marefa.org/entity/Q1985727}

end time ^{الإنجليزية}

1956^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

معهد رينسيلار للعلوم التطبيقية

start time ^{الإنجليزية}

1956^{http://data.marefa.org/entity/Q1985727}

end time ^{الإنجليزية}

1959^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

جامعة يشيفا

start time ^{الإنجليزية}

1960^{http://data.marefa.org/entity/Q1985727}

end time ^{الإنجليزية}

1965^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

جامعة نيويورك لانگون الصحي

start time ^{الإنجليزية}

1965^{http://data.marefa.org/entity/Q1985727}

end time ^{الإنجليزية}

1996^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

languages spoken, written or signed ^{الإنجليزية}

اللغة الإنگليزية

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

sex or gender ^{الإنجليزية}

ذكر

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

described by source ^{الإنجليزية}

Obalky knih.cz

URL ^{الإنجليزية}

https://www.obalkyknih.cz/view_auth?auth_id=xx0012596

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

doctoral student ^{الإنجليزية}

موشيه كوبيل

point in time ^{الإنجليزية}

1980^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Donald W. Loveland ^{الإنجليزية}

point in time ^{الإنجليزية}

1964^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Donald Perlis ^{الإنجليزية}

point in time ^{الإنجليزية}

1972^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Robert Arnold Di Paola ^{الإنجليزية}

point in time ^{الإنجليزية}

1964^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Edward Norman Schwartz ^{الإنجليزية}

point in time ^{الإنجليزية}

1974^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

John Denes ^{الإنجليزية}

point in time ^{الإنجليزية}

1970^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Richard Gostanian ^{الإنجليزية}

point in time ^{الإنجليزية}

1971^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Keith Harrow ^{الإنجليزية}

point in time ^{الإنجليزية}

1973^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Barry Jacobs ^{الإنجليزية}

point in time ^{الإنجليزية}

1975^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Richard Marshall Rosenberg ^{الإنجليزية}

point in time ^{الإنجليزية}

1976^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Jean-Pierre Keller ^{الإنجليزية}

point in time ^{الإنجليزية}

1977^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

David Linfield ^{الإنجليزية}

point in time ^{الإنجليزية}

1983^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Ronald Fechter ^{الإنجليزية}

point in time ^{الإنجليزية}

1991^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Thomas Emerson ^{الإنجليزية}

point in time ^{الإنجليزية}

1995^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Martin Michael Zuckerman ^{الإنجليزية}

point in time ^{الإنجليزية}

1967^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Eric G. Wagner ^{الإنجليزية}

point in time ^{الإنجليزية}

1963^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Alberto Policriti ^{الإنجليزية}

point in time ^{الإنجليزية}

1990^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Ron Mark Sigal ^{الإنجليزية}

point in time ^{الإنجليزية}

1983^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Eugenio Giovanni Omodeo ^{الإنجليزية}

point in time ^{الإنجليزية}

1984^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

date of death ^{الإنجليزية}

١ يناير 2023^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

official website ^{الإنجليزية}

http://www.cs.nyu.edu/cs/faculty/davism/

language of work or name ^{الإنجليزية}

اللغة الإنگليزية

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

name in native language ^{الإنجليزية}

Martin Davis (الإنجليزية)

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

place of death ^{الإنجليزية}

بركلي، كاليفورنيا

located in the administrative territorial entity ^{الإنجليزية}

كاليفورنيا

country ^{الإنجليزية}

الولايات المتحدة

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

birth name ^{الإنجليزية}

Martin David Davis (الإنجليزية)

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

academic thesis ^{الإنجليزية}

On the Theory of Recursive Unsolvability ^{الإنجليزية}

publication date ^{الإنجليزية}

1950^{http://data.marefa.org/entity/Q1985727}

URL ^{الإنجليزية}

https://books.google.cat/books?id=pMlSmgEACAAJ

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

notable work ^{الإنجليزية}

Davis–Putnam algorithm ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

Computability & unsolvability / Martin Davis. - 1958 ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

DPLL algorithm ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

place of burial ^{الإنجليزية}

Cypress Lawn Memorial Park ^{الإنجليزية}

coordinate location ^{الإنجليزية}

37°40'20.035"N, 122°27'20.873"W

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q1239172

مارتن ديفيس (Q596381)

بيانات

وصلات الموقع

Marefa(٠ : لا وصلات)

ويكيبيديا(٦ وصلات)