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

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

Образование

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

Карьера

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

Почести

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

Увлечения

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

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

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

Примечания

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

• Джокуш, Карл Г. (2001). «In Memoriam: Джозеф Р. Шенфилд 1927–2000» . Вестник символической логики . 7 (3): 393–396.
• Шенфилд, Джозеф Р. (2001) [1967]. Математическая логика (2-е изд.). А.К. Петерс . ISBN   978-1-56881-135-2 .
• Шенфилд, Джозеф Р. (2000). Теория рекурсии . AK Peters Ltd. ISBN   1-56881-149-7 .