stringtranslate.com

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

Соломон Феферман (13 декабря 1928 — 26 июля 2016) [2] — американский философ и математик , работавший в области математической логики . В дополнение к своей плодотворной технической работе в области теории доказательств , теории вычислимости и теории множеств , он был известен своим вкладом в историю логики (например, через биографические сочинения о таких фигурах, как Курт Гёдель , Альфред Тарский и Жан ван Хейеноорт). ) и как ярый сторонник философии математики, известной как предикативизм , особенно с антиплатонической позиции .

Жизнь

Соломон Феферман родился в Бронксе в Нью-Йорке в семье рабочих, иммигрировавших в Соединенные Штаты после Первой мировой войны , встретившихся и поженившихся в Нью-Йорке. Ни один из родителей не имел высшего образования. Семья переехала в Лос-Анджелес, где Феферман окончил среднюю школу в 16 лет.

Он получил степень бакалавра наук в Калифорнийском технологическом институте в 1948 году, а в 1957 году — докторскую степень. Получил степень бакалавра математики в Калифорнийском университете в Беркли под руководством Альфреда Тарского [3] после призыва и службы в армии США с 1953 по 1955 год. В 1956 году он был назначен на факультеты математики и философии Стэнфордского университета , где позже он стал профессором гуманитарных и естественных наук Патрика Суппеса . Хотя большую часть своей карьеры он провел в Стэнфорде, он также работал научным сотрудником в Институте перспективных исследований в Принстоне , приглашенным профессором в Массачусетском технологическом институте и приглашенным научным сотрудником в Оксфордском университете ( Колледж Вольфсона и все остальные) . Колледж душ ). [4]

Феферман умер 26 июля 2016 года в своем доме в Стэнфорде после трехмесячной болезни и инсульта . [2] [5] [6] На момент своей смерти он был членом Математической ассоциации Америки в течение 37 лет. [7]

Взносы

Феферман был главным редактором пятитомного собрания сочинений Курта Гёделя , опубликованного издательством Oxford University Press в период с 2001 по 2013 год.

В 2004 году вместе с женой Анитой Бурдман-Феферман опубликовал биографию Альфреда Тарского : Альфред Тарский: Жизнь и логика . [8]

Он работал над предикативной математикой , в частности, вводя ординал Фефермана-Шютте как меру силы определенных предикативных систем.

Признание

Феферман был награжден стипендией Гуггенхайма в 1972 и 1986 годах [9] и премией Рольфа Шока в области логики и философии в 2003 году. [10] Его пригласили прочитать лекцию Гёделя в 1997 году [11] и лекции Тарского в 2006 году . [12] В 2012 году он стал членом Американского математического общества . [13]

Публикации

Статьи

Книги

Смотрите также

Рекомендации

  1. ^ «Обогащенные стратифицированные системы для основ теории категорий» Соломона Фефермана (2011)
  2. ^ ab «Соломон Феферман (1928-2016)».
  3. ^ Соломон Феферман в проекте «Математическая генеалогия»
  4. ^ "Домашняя страница Соломона Фефермана" . Архивировано из оригинала 24 октября 2017 года.
  5. ↑ Ланье Андерсон, Р. (4 августа 2016 г.). «Дань уважения Соломону Феферману (1928–2016)». Философия.stanford.edu . Архивировано из оригинала 11 сентября 2016 года . Проверено 24 июля 2021 г.
  6. ^ «Стэнфордский математический логик Соломон Феферман умирает в возрасте 87 лет» . Стэнфордские новости . 7 октября 2016 г. Проверено 24 июля 2021 г.
  7. ^ «В память | Математическая ассоциация Америки». www.maa.org . Проверено 24 июля 2021 г.
  8. ^ ab Отзывы об Альфреде Тарском :
  9. ^ "Фонд Джона Саймона Гуггенхайма | Соломон Феферман" .
  10. ^ "Феферман награжден премией Рольфа Шока в области логики и философии" .
  11. ^ "Лекторы Гёделя - Ассоциация символической логики" . Архивировано из оригинала 8 ноября 2021 года . Проверено 8 ноября 2021 г.
  12. ^ "Лекции Тарского | Кафедра математики Калифорнийского университета в Беркли" . math.berkeley.edu . Проверено 8 ноября 2021 г.
  13. ^ Список членов Американского математического общества, получено 2 декабря 2012 г.
  14. ^ Обзоры книги « В свете логики »:

Внешние ссылки