Джозеф Р. Шенфилд - Joseph R. Shoenfield

Джозеф Роберт Шенфилд
Родившийся
Детройт, Мичиган, США
Умер15 ноября 2000 г.(2000-11-15) (73 года)
Дарем, Северная Каролина, США
Альма-матеруниверситет Мичигана
ИзвестенТеорема Шенфилда об абсолютности
НаградыГедель-лектор (1992)
Научная карьера
ПоляМатематическая логика
УчрежденияУниверситет Дьюка
ТезисМодели формальных систем (1953)
ДокторантРаймонд Луи Уайлдер[1]

Джозеф Роберт Шенфилд (1927, Детройт - 15 ноября 2000 г., Дарем, Северная Каролина ) был американским математиком-логиком.

Образование

Шенфилд получил докторскую степень в 1953 г. Раймонд Луи Уайлдер на университет Мичигана (Модели формальных систем).

Карьера

С 1952 г. читал лекции в Университет Дьюка, где он оставался, пока не стал почетным званием в 1992 году. С 1970 по 1973 год он был президентом математического факультета. В 1956/57 г. Институт перспективных исследований. Шенфилд работал над теория рекурсии, теория моделей и аксиоматическая теория множеств. Его учебник математической логики стал классикой.[2]

Почести

С 1972 по 1976 год он был президентом Ассоциация символической логики. Он прочитал лекцию Гёделя на собрании ASL в 1992 году.[3]

Увлечения

Уже в студенческие годы он был страстным и сильным контрактный мост игрок.Он был одним из первых Число 694 из Американская ассоциация го и Мемориальный турнир в Северной Каролине был основан в его памяти. (В ссылке есть его фотография.)

Избранные публикации

  • Математическая логика, Addison Wesley 1967, 2-е издание, Association for Symbolic Logic, 2001[4]
  • Степени неразрешимости, North Holland Mathematical Studies 1971
  • Теория рекурсии, Springer 1993[5]

Примечания

  1. ^ Джозеф Р. Шенфилд на Проект "Математическая генеалогия"
  2. ^ Jockusch 2001, п. 393.
  3. ^ "Геделевские лекции, Ассоциация символической логики". Архивировано из оригинал 23 сентября 2015 г.. Получено 26 декабря, 2015.
  4. ^ Шенфилд 2001.
  5. ^ Шенфилд 2000.

Рекомендации