Джозеф Р. Шонфилд
Джозеф Роберт Шонфилд | |
|---|---|
| Рожденный | Детройт , Мичиган, США |
| Умер | 15 ноября 2000 г. (73 года) Дарем , Северная Каролина, США |
| Альма-матер | Мичиганский университет |
| Известный | Теорема Шенфилда об абсолютности |
| Награды | Лекция Гёделя (1992) |
| Научная карьера | |
| Поля | Математическая логика |
| Учреждения | Университет Дьюка |
| Диссертация | Модели формальных систем (1953) |
| Докторантура | Рэймонд Луи Уайлдер [1] |
Джозеф Роберт Шонфилд (1927, Детройт — 15 ноября 2000, Дарем, Северная Каролина ) — американский математический логик.
Образование
[ редактировать ]Шенфилд получил докторскую степень в 1953 году вместе с Раймондом Луи Уайлдером в Мичиганском университете ( модели формальных систем ).
Карьера
[ редактировать ]С 1952 года он читал лекции в Университете Дьюка , где оставался до тех пор, пока не стал почетным в 1992 году. С 1970 по 1973 год он был президентом математического факультета. В 1956/57 находился в Институте повышения квалификации . Шенфилд работал над теорией рекурсии , теорией моделей и теорией аксиоматических множеств . Его учебник по математической логике стал классикой. [2]
Почести
[ редактировать ]С 1972 по 1976 год он был президентом Ассоциации символической логики . Он прочитал лекцию Гёделя на собрании ASL в 1992 году. [3]
Хобби
[ редактировать ]Уже в студенческие годы Шенфилд был страстным и сильным игроком в бридж по контракту .Он был одним из первых членов [4] Американской ассоциации го ; В его память был основан мемориальный турнир в Северной Каролине. [5]
Избранные публикации
[ редактировать ]- Математическая логика, Аддисон Уэсли, 1967, 2-е издание, Ассоциация символической логики, 2001 г. [6]
- Степени неразрешимости, Математические исследования Северной Голландии, 1971 г.
- Теория рекурсии, Springer 1993. [7]
Примечания
[ редактировать ]- ^ Джозеф Р. Шоенфилд в проекте «Математическая генеалогия»
- ^ Йокуш 2001 , с. 393.
- ^ «Лекции Гёделя, Ассоциация символической логики» . Архивировано из оригинала 23 сентября 2015 года . Проверено 26 декабря 2015 г.
- ^ Номер 694
- ^ «Турнир по го Мемориала Треугольника» .
- ^ Шенфилд 2001 .
- ^ Шенфилд 2000 .
Ссылки
[ редактировать ]- Йокуш, Карл Г. (2001). «Памяти: Джозеф Р. Шонфилд 1927–2000» . Бюллетень символической логики . 7 (3): 393–396. дои : 10.1017/S1079898600005746 .
- Шенфилд, Джозеф Р. (2001) [1967]. Математическая логика (2-е изд.). АК Петерс . ISBN 978-1-56881-135-2 .
- Шенфилд, Джозеф Р. (2000). Теория рекурсии . АК Питерс Лтд. ISBN 1-56881-149-7 .
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Люди | |
| Другой | |
