Циклопедия скорбит по жертвам террористического акта в Крокус-Сити (Красногорск, МО)
Соломон Феферман
Перейти к навигации
Перейти к поиску
Соломон Феферман
англ. Solomon Feferman
- Дата рождения
- 13 декабря 1928 года
- Научный руководитель
- Альфред Тарский
- Известен как
- математический логик и историк логики, эмерит-профессор Стэнфордского университета
Соломон Феферман — деятель науки[1].
Карьера[править]
В 1948 получил степень бакалавра по математики в Калтехе, а в 1957 — докторскую степень по математике в университете Беркли.
С 1956 трудился в Стэнфордском университете, где в конце жизни занимал две эмерит-профессорские позиции (по математике и философии), а в 1985—1992 состоял завкафедрой математики.
В 1980—1982 — президент Ассоциации символической логики.
В 2012 стал членом АМО.
Исследования преимущественно в сфере предикативности в математике.
Был женат, имел 2 дочерей.
Труды[править]
- Feferman, Solomon; Vaught, Robert L. (1959). The first order properties of products of algebraic systems. Fund. Math. 47, 57–103.
- Feferman, Solomon. (1975). A language and axioms for explicit mathematics. Algebra and logic (Fourteenth Summer Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), pp. 87–139. Lecture Notes in Math., Vol. 450, Springer, Berlin.
- Feferman, Solomon. (1979). Constructive theories of functions and classes. Logic Colloquium '78 (Mons, 1978), pp. 159–224, Stud. Logic Foundations Math., 97, North-Holland, Amsterdam-New York.
- Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried. (1981). Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies. Lecture Notes in Mathematics, 897. Springer-Verlag, Berlin-New York.
- Feferman, Solomon; Hellman, Geoffrey. (1995). Predicative foundations of arithmetic. J. Philos. Logic 24(1), 1--17.
- Feferman, Solomon. (1998). In the Light of Logic. Oxford University Press. ISBN 0-19-508030-0, Logic and Computation in Philosophy series) review.
- Avigad, Jeremy; Feferman, Solomon. (1998). Gödel's functional (Dialectica) interpretation. Handbook of proof theory, 337–405, Stud. Logic Found. Math., 137, North-Holland, Amsterdam.
- Feferman, Anita Burdman; Feferman, Solomon (2004). Alfred Tarski: Life and Logic. Cambridge University Press. ISBN 978-0-521-80240-6.
Источники[править]
Категории:
- Родившиеся 13 декабря
- Родившиеся в 1928 году
- Персоналии по алфавиту
- Родившиеся в Нью-Йорке
- Умершие 26 июля
- Умершие в 2016 году
- Умершие в Станфорде
- Учёные по алфавиту
- Преподаватели Стэнфордского университета
- Выпускники Калифорнийского технологического института
- Выпускники Калифорнийского университета в Беркли
- Доктора философии
- Стипендианты Гуггенхайма
- Фелло Американского математического общества
- Логики
- Математики США
- Математики по алфавиту
- Члены Американской академии искусств и наук
- Эмерит-профессора Стэнфорда
- Доктора философии по математике
- Евреи в США
- Евреи-математики