Феферман, Соломон
Соломон Феферман (Solomon Feferman; 13 декабря 1928[1], Нью-Йорк, Нью-Йорк — 26 июля 2016[2], Стэнфорд, Калифорния) — американский математический логик и историк логики. Эмерит-профессор Стэнфордского университета (Patrick Suppes Professor of Humanities and Sciences, Emeritus), член Американской академии искусств и наук. Лауреат премии Рольфа Шока по логике и философии (2003). Президент Ассоциации символической логики (1980—1982).
Общие сведения
| Соломон Феферман | |
|---|---|
| Дата рождения | 13 декабря 1928[1] |
| Место рождения | |
| Дата смерти | 26 июля 2016[2] (87 лет) |
| Место смерти | |
| Страна | |
| Научная сфера | математическая логика[3], математика[3], Философия[3], Философия математики[3] и История логики[3] |
| Место работы | |
| Образование | |
| Учёная степень | доктор философии |
| Научный руководитель | Альфред Тарский |
| Награды и премии |
стипендия Гуггенхайма Премия Рольфа Шока по логике и философии[d] (2003) Гёдельский лектор[d] (1997) действительный член Американского математического общества (2013) |
Биография
Окончил Калифорнийский технологический институт (бакалавр математики, 1948). Степень доктора философии по математике получил в 1957 году в Калифорнийском университете в Беркли под началом Альфреда Тарского.
C 1956 года в Стэнфордском университете, где под конец жизни занимал две эмерит-профессорские позиции (по математике и философии, а также именную Patrick Suppes Professor of Humanities and Sciences), а с 1985 по 1992 год заведовал кафедрой математики. С 1958 по 1985 год его коллегой в Стэнфорде был Георг Крайзель (Georg Kreisel), оказавший на Фефермана вместе с Альфредом Тарским наибольшее влияние. В 1980—1982 гг. президент Ассоциации символической логики (Association for Symbolic Logic). Приглашался в Принстонский институт перспективных исследований, Массачусетский технологический институт, Париж, Амстердам, Оксфорд, Рим и Беркли.
Научная деятельность
Соломон Феферман внёс фундаментальный вклад в математическую логику, в частности в теорию доказательств[4]. В области предикативного анализа он совместно с Куртом Шютте охарактеризовал его с помощью ординала, получившего название ординал Фефермана — Шютте[4][5]. Учёный создал системы «явной математики»[4], а также внёс значительный вклад в развитие аксиоматических теорий истины, разработав систему Крипке — Фефермана[5].
В философии математики Феферман развивал идеи антиплатонизма. Он доказывал, что континуум-гипотеза не имеет определённого истинностного значения[4]. Этой проблеме была посвящена его лекция «The Continuum Hypothesis is neither a definite mathematical problem nor a definite logical problem», прочитанная в 2011 году в Гарвардском университете.
Являлся главным редактором выходившего с 1986 по 2003 год пятитомника собрания сочинений Курта Гёделя. Также редактировал работы Джулии Робинсон. Вместе со своей супругой выпустил биографию Альфреда Тарского (Alfred Tarski: Life and Logic, 2004)[4].
Последние годы и смерть
В последние годы жизни (2010—2016) Соломон Феферман продолжал активную деятельность в Стэнфордском университете. В статусе почётного профессора он преподавал на философском факультете до 2015 года. Учёный работал над применением идей теории моделей в системной биологии, а также готовил к изданию несколько книг.
Скончался 26 июля 2016 года у себя дома в Стэнфорде от инсульта после трёхмесячной болезни[6]. 5 июня 2017 года в Стэнфордском университете состоялся мемориальный симпозиум, посвящённый памяти учёного.
Семья
Супруга — Анита Бурдман Феферман (Anita Burdman Feferman, 1927—2015). В браке родились две дочери: старшая Рэйчел, умершая раньше отца, и младшая Джули Феферман-Перес, воспитывающая двух дочерей (Изабель и Грасиелу)[7].
Примечания
 | ||||
|---|---|---|---|---|
| Словари и энциклопедии | ||||
