Joseph R. Shoenfield - Joseph R. Shoenfield
Joseph Robert Shoenfield | |
---|---|
Doğum | Detroit, Michigan, ABD |
Öldü | 15 Kasım 2000
Durham , Kuzey Carolina, ABD
|
(73 yaşında)
gidilen okul | Michigan üniversitesi |
Bilinen | Shoenfield mutlaklık teoremi |
Ödüller | Gödel Öğretim Görevlisi (1992) |
Bilimsel kariyer | |
Alanlar | Matematiksel mantık |
Kurumlar | Duke Üniversitesi |
Tez | Biçimsel Sistem Modelleri (1953) |
Doktora danışmanı | Raymond Louis Wilder |
Joseph Robert Shoenfield (1927, Detroit - 15 Kasım 2000, Durham, Kuzey Carolina ) Amerikalı bir matematiksel mantıkçıydı.
Eğitim
Shoenfield ile 1953 yılında doktora elde Raymond Louis Wilder de Michigan Üniversitesi ( formel sistemlerin modelleri ).
Kariyer
1952'den 1992'de Emeritus olana kadar kaldığı Duke Üniversitesi'nde ders verdi . 1970-1973 yılları arasında Matematik Fakültesi Başkanıydı. 1956 / 57'de Institute for Advanced Study'deydi . Shoenfield, özyineleme teorisi , model teorisi ve aksiyomatik küme teorisi üzerinde çalıştı . Matematiksel mantık konusundaki ders kitabı bir klasik haline geldi.
Başarılar
1972'den 1976'ya kadar Sembolik Mantık Derneği'nin başkanıydı . ASL'nin 1992 toplantısında Gödel Konferansı'nı verdi.
Hobiler
Zaten öğrenci günlerinde tutkulu ve güçlü bir sözleşmeli briç oyuncusuydu. American Go Association'ın 694 Numaralı erken üyelerinden biriydi ve anısına Kuzey Carolina'daki Memorial Turnuvası kuruldu. (Bağlantıda onun bir fotoğrafı var.)
Seçilmiş Yayınlar
- Mathematical Logic, Addison Wesley 1967, 2. baskı, Association for Symbolic Logic, 2001
- Çözülemezlik Dereceleri, North Holland Mathematical Studies 1971
- Yineleme teorisi, Springer 1993
Notlar
- ^ Joseph R. Shoenfield at Matematik Şecere Projesi
- ^ Jockusch 2001 , s. 393.
- ^ "Gödel Lectures, Association for Symbolic Logic" . 23 Eylül 2015 tarihinde orjinalinden arşivlendi . Erişim tarihi: Aralık 26, 2015 .
- ^ Shoenfield 2001 .
- ^ Shoenfield 2000 .
Referanslar
- Jockusch, Carl G. (2001). "Anısına: Joseph R. Shoenfield 1927–2000" . Sembolik Mantık Bülteni . 7 (3): 393–396.
- Shoenfield, Joseph R. (2001) [1967]. Matematiksel Mantık (2. baskı). AK Peters . ISBN 978-1-56881-135-2 .
- Shoenfield, Joseph R. (2000). Özyineleme Teorisi . AK Peters Ltd. ISBN 1-56881-149-7 .