Циклопедия скорбит по жертвам террористического акта в Крокус-Сити (Красногорск, МО)

Соломон Феферман

Материал из Циклопедии
Перейти к навигации Перейти к поиску

Соломон Феферман

англ. Solomon Feferman
CocBWugW8AAgNF0.jpg
Дата рождения
13 декабря 1928 года
Место рождения
Нью-Йорк, США
Дата смерти
26 июля 2016 года
Место смерти
Станфорд, США






Научный руководитель
Альфред Тарский
Известен как
математический логик и историк логики, эмерит-профессор Стэнфордского университета



Соломон Феферман — деятель науки[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.

Источники[править]