Martin Davis (matematikçi) - Martin Davis (mathematician)
Martin Davis | |
---|---|
Doğmak |
|
8 Mart 1928
Milliyet | Amerikan |
gidilen okul | Princeton Üniversitesi |
Bilinen |
Davis-Putnam algoritması DPLL algoritması Hilbert'in onuncu problemi üzerinde çalışıyor |
Ödüller | Chauvenet Ödülü (1975) |
Bilimsel kariyer | |
kurumlar | New York Üniversitesi |
Tez | Özyinelemeli Çözülemezlik Teorisi Üzerine (1950) |
Doktora danışmanı | Alonzo Kilisesi |
Doktora öğrencileri | Moshe Koppel , Donald W. Loveland |
Martin David Davis (8 Mart 1928 doğumlu), Hilbert'in onuncu problemi üzerindeki çalışmaları ile tanınan Amerikalı bir matematikçidir .
biyografi
Davis'in ebeveynleri Polonya'nın Łódź şehrinden ABD'ye gelen Yahudi göçmenlerdi ve New York'ta tekrar bir araya geldikten sonra evlendiler . Davis , ailesinin onu tam bir eğitim alması için teşvik ettiği Bronx'ta büyüdü .
Doktora derecesini aldı. dan Princeton Üniversitesi onun danışmanı oldu 1950 yılında, Alonzo Church . 1950'lerin başında Urbana-Champaign'deki Illinois Üniversitesi'nde araştırma eğitmenliği sırasında Kontrol Sistemleri Laboratuvarı'na katıldı ve ORDVAC'ın ilk programcılarından biri oldu . O ise profesörü de New York Üniversitesi .
Katkılar
Davis, Davis-Putnam algoritmasının ve DPLL algoritmalarının mucididir . Ayrıca Post-Turing makineleri modeliyle ve Hilbert'in MRDP teoremine yol açan onuncu problemi üzerindeki çalışmasıyla tanınır .
Ödüller ve onurlar
1975'te Davis, Leroy P. Steele Ödülü'nü , Chauvenet Ödülü'nü ( Reuben Hersh ile birlikte ) ve 1974'te Hilbert'in onuncu problemi üzerine yaptığı çalışmayla ilgili açıklayıcı yazılarından dolayı Lester R. Ford Ödülü'nü kazandı. O bir oldu dost ve Fen Amerikan Akademisi 1982 yılında ve 2012 yılında, o açılış arkadaşlarının biri olarak seçildi Amerikan Matematik Derneği .
Seçilmiş Yayınlar
- Kitabın
- Davis, Martin (1958). Hesaplanabilirlik ve Çözülemezlik . New York: Dover. ISBN'si 0-486-61471-9. 1982 Dover'ın yeniden basımı
- Davis, Martin (1977). Uygulanan standart olmayan analiz . New York: Wiley. ISBN'si 9780471198970. 2014 Dover'ın yeniden basımı
- Davis, Martin; Weyuker, Elaine J .; Sigal, Ron (1994). Hesaplanabilirlik, karmaşıklık ve diller: teorik bilgisayar biliminin temelleri (2. baskı). Boston: Academic Press, Harcourt, Brace. ISBN'si 9780122063824.
- Davis, Martin (2000). Mantık motorları: matematikçiler ve bilgisayarın kökeni . New York: Norton. ISBN'si 9780393322293.
- Nesne
- Davis, Martin (1973), "Hilbert'in Onuncu Problemi Çözülemez", American Mathematical Monthly , 80 (3), 233–269. doi : 10.1080/00029890.1973.11993265
- Davis, Martin (1995), "Matematiksel içgörü algoritmik midir?", Behavioral and Brain Sciences , 13 (4), 659-60.
- Davis, Martin (2020), "Seventy Years of Computer Science", İçinde: Blass A., Cégielski P., Dershowitz N., Droste M., Finkbeiner B. (eds.) Fields of Logic and Computation III , 105–117 . Bilgisayar Bilimleri Ders Notları, cilt. 12180. Springer: Cham, İsviçre. doi : 10.1007/978-3-030-48006-6_8
Ayrıca bakınız
Referanslar
Dış bağlantılar
- Martin Davis (matematikçi) ile ilgili alıntılar Wikiquote'da
- Martin Davis'in web sitesi
- Emil Post'u Kutlamak ve Martin Davis'in katkıları da dahil olmak üzere YouTube'da Etiket: 100 Yıl Sonra ile ilgili "Anlaşılmaz Sorunu" ( kayıtta 1 saat 39 dakikadan itibaren)