Соломон Феферман: Жизнь и вклад в логику и математику
Solomon Feferman
Соломон Феферман (1928-2016) – американский философ и математик, специалист по математической логике, теории вычислимости и истории логики. Предикативизм.
Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Американский философ и математик
American philosopher and mathematician
Соломон Феферман (13 декабря 1928 – 26 июля 2016) – американский философ и математик, работавший в области математической логики. Помимо его обширной технической работы в теории доказательств, теории вычислимости и теории множеств, он был известен своими вкладами в историю логики (в частности, благодаря биографическим работам о таких ученых, как Курт Гёдель, Альфред Тарский и Жан ван Хейеноорт) и как активный сторонник философии математики, известной как предикативизм, особенно с антиплатонистских позиций.
Solomon Feferman (December 13, 1928 – July 26, 2016) was an American philosopher and mathematician who worked in mathematical logic. In addition to his prolific technical work in proof theory, computability theory, and set theory, he was known for his contributions to the history of logic (for instance, via biographical writings on figures such as Kurt Gödel, Alfred Tarski, and Jean van Heijenoort) and as a vocal proponent of the philosophy of mathematics known as predicativism, notably from an anti platonist stance.
Жизнь
Соломон Феферман родился в Бронксе, Нью-Йорк, в семье рабочих, иммигрировавших в Соединенные Штаты после Первой мировой войны и познакомившихся и поженившихся в Нью-Йорке. Ни один из родителей не имел высшего образования. Семья переехала в Лос-Анджелес, где Феферман окончил среднюю школу в 16 лет. В 1948 году он получил степень бакалавра в Калифорнийском технологическом институте, а в 1957 году – степень доктора философии по математике в Калифорнийском университете в Беркли под руководством Альфреда Тарского, после того как был призван в армию США и служил там с 1953 по 1955 год. В 1956 году он был назначен на кафедры математики и философии в Стэнфордском университете, где впоследствии стал профессором гуманитарных и естественных наук имени Патрика Суппеса. Хотя большую часть своей карьеры он провел в Стэнфорде, он также работал постдокторантом в Институте перспективных исследований в Принстоне, приглашенным профессором в MIT и приглашенным научным сотрудником в Оксфордском университете (Wolfson College и All Souls College). Феферман умер 26 июля 2016 года в своем доме в Стэнфорде после трехмесячной болезни и инсульта. К моменту смерти он был членом Математической ассоциации Америки в течение 37 лет.
Solomon Feferman was born in The Bronx in New York City to working class parents who had immigrated to the United States after World War I and had met and married in New York. Neither parent had any advanced education. The family moved to Los Angeles, where Feferman graduated from high school at age 16. He received his B. S. from the California Institute of Technology in 1948, and in 1957 his Ph. D. in mathematics from the University of California, Berkeley, under Alfred Tarski, after having been drafted and having served in the U. S. Army from 1953 to 1955. In 1956 he was appointed to the Departments of Mathematics and Philosophy at Stanford University, where he later became the Patrick Suppes Professor of Humanities and Sciences. While the majority of his career was spent at Stanford, he also spent time as a post doctoral fellow at the Institute for Advanced Study in Princeton, a visiting professor at MIT, and a visiting fellow at the University of Oxford (Wolfson College and All Souls College). Feferman died on 26 July 2016 at his home in Stanford, following an illness that lasted three months and a stroke. At his death, he had been a member of the Mathematical Association of America for 37 years.
Вклад
Феферман был главным редактором пятитомного собрания сочинений Курта Гёделя, изданного Оксфордским университетом в период с 2001 по 2013 год. В 2004 году вместе со своей женой Анитой Бердман Феферман он опубликовал биографию Альфреда Тарского: «Альфред Тарский: Жизнь и логика», а также был удостоен премии Рольфа Шока по логике и философии в 2003 году. Он был приглашен для чтения Гёделевской лекции в 1997 году и Тарской лекции в 2006 году. В 2012 году он стал членом Американского математического общества.
Feferman was editor in chief of the five volume Collected Works of Kurt Gödel, published by Oxford University Press between 2001 and 2013. In 2004, together with his wife Anita Burdman Feferman, he published a biography of Alfred Tarski: Alfred Tarski: Life and Logic. and the Rolf Schock Prize in logic and philosophy in 2003. He was invited to give the Gödel Lecture in 1997 and the Tarski Lectures in 2006. In 2012, he became a fellow of the American Mathematical Society.
Бумаги
Феферман, Соломон; Вотт, Роберт Л. (1959), "Свойства первого порядка произведений алгебраических систем", Fund. Math. 47, 57–103. Феферман, Соломон (1975), "Язык и аксиомы для явной математики", Алгебра и логика (Четырнадцатый летний исследовательский институт, Австрал. Математика. Об-во, Ун-т Монаш, Клейтон, 1974), с. 87–139, Lecture Notes in Math., т. 450, Берлин, Springer. Феферман, Соломон (1979), "Конструктивные теории функций и классов", Logic Colloquium '78 (Монс, 1978), с. 159–224, Stud. Logic Foundations Math., 97, Амстердам, Нью-Йорк, North Holland. Бухгольц, Вильфрид; Феферман, Соломон; Полерс, Вольфрам; Зиг, Вильфрид (1981), "Итерированные индуктивные определения и подсистемы анализа: недавние теоретико-доказательные исследования", Lecture Notes in Mathematics, 897, Берлин, Нью-Йорк, Springer Verlag. Феферман, Соломон; Хеллман, Джеффри (1995), "Предикативные основания арифметики", J. Philos. Logic 24 (1), 1–17. Авигад, Джереми; Феферман, Соломон (1998), "Функциональная (диалектическая) интерпретация Гёделя", Handbook of proof theory, 337–405, Stud. Logic Found. Math., 137, Амстердам, North Holland.
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, Berlin, Springer. Feferman, Solomon (1979), "Constructive theories of functions and classes", Logic Colloquium '78 (Mons, 1978), pp. 159–224, Stud. Logic Foundations Math., 97, Amsterdam, New York, North Holland. 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, Berlin, New York, Springer Verlag. Feferman, Solomon; Hellman, Geoffrey (1995), "Predicative foundations of arithmetic", J. Philos. Logic 24 (1), 1–17. Avigad, Jeremy; Feferman, Solomon (1998), "Gödel's functional (Dialectica) interpretation", Handbook of proof theory, 337–405, Stud. Logic Found. Math., 137, Amsterdam, North Holland.