Соломон Феферман | |
---|---|
Родился | (1928-12-13) 13 декабря 1928 г.. Бронкс, Нью-Йорк |
Умер | 26 июля 2016 г. (2016-07-26) (87 лет) |
Alma mater | Калифорнийский технологический институт. Калифорнийский университет, Беркли |
Эра | Современная философия |
Регион | Западная философия |
Школа | Аналитический. Предикативизм |
Диссертация | Формальные доказательства непротиворечивости и интерпретируемость теорий (1957) |
Докторант | Альфред Тарски |
Докторанты | |
Основные интересы | Философия математики |
Известные идеи | Стратифицированные системы для основ теории категорий. Порядковый номер Фефермана – Шютте |
Влияния | |
Под влиянием | |
Соломон Феферман (13 декабря 1928 - 26 июля 2016) был американским философом и математик, занимавшийся математической логикой.
Соломон Феферман родился в Бронксе в Нью-Йорке среди рабочего класса родители, которые иммигрировали в США после Первой мировой войны, познакомились и поженились в Нью-Йорке. Ни один из родителей не имел высшего образования. Семья переехала в Лос-Анджелес, где Феферман окончил среднюю школу в возрасте 16 лет.
Он получил степень бакалавра наук. из Калифорнийского технологического института в 1948 году, а в 1957 году получил степень доктора философии. по математике из Калифорнийского университета в Беркли под руководством Альфреда Тарски, после призыва и службы в армии США с 1953 по 1955 год. В 1956 году он был назначен на кафедру математики и философии в Стэнфордском университете, где он позже стал Патриком Суппесом профессором гуманитарных и естественных наук.
Феферман был редактором- главный пятитомный сборник сочинений Курта Гёделя, изданный Oxford University Press в период с 2001 по 2013 год.
В 2004 году вместе с женой Анита Бурдман Феферман, он опубликовал биографию Альфреда Тарского : Альфред Тарский: жизнь и логика.
Он работал над предикативной математикой, в частности введение порядкового номера Фефермана – Шютте как меры силы определенных предикативных систем.
Феферман был удостоен стипендии Гуггенхайма в 1972 и 1986 годах и премии Рольфа Шока в области логики и философии в 2003 году. В 2006 году он был приглашен для проведения Тарские лекции. В 2012 году он стал членом Американского математического общества.
.