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)». philosophy.stanford.edu . Архивировано из оригинала 11 сентября 2016 г. . Получено 24 июля 2021 г. .
  6. ^ "Стэнфордский математический логик Соломон Феферман умер в возрасте 87 лет". Stanford News . 7 октября 2016 г. Получено 24 июля 2021 г.
  7. ^ "In Memoriam | Математическая ассоциация Америки". www.maa.org . Получено 24 июля 2021 г. .
  8. ^ ab Отзывы об Альфреде Тарском :
    • Добен, Джозеф В. (2005), Математические обзоры , MR  2095748{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )
    • Анеллис, Ирвинг Х. (2005), «Обзор», The Review of Modern Logic , 10 (1–2): 117–130
    • Дэвис, Филип Дж. (март 2005 г.), «Жизнь логики и нелогичности жизни», SIAM News
    • Дэвис, Мартин (март–апрель 2005 г.), «Человек, определивший истину», American Scientist , 93 (2): 175–177, JSTOR  27858554
    • Shell-Gellasch, Amy (май 2005), "Обзор", MAA Reviews
    • Мисюн, Кристина (май 2005 г.), История и философия логики , 26 (2): 166–168, doi : 10.1080/01445340412331313602, S2CID  216590845{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )
    • Мендельсон, Эллиотт (июнь 2005 г.), Philosophia Mathematica , 13 (2): 231–232, doi : 10.1093/philmat/nki020{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )
    • Килмистер, CW (июль 2005 г.), The Mathematical Gazette , 89 (515): 330–331, doi :10.1017/S0025557200177988, JSTOR  3621256, S2CID  171454519{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )
    • Шмит, Роджер (осень 2005 г.), Archives de Philosophie , 68 (3): 546–547, JSTOR  43038344.{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )
    • Мэддакс, Роджер Д. (декабрь 2005 г.), Бюллетень символической логики , 11 (4): 535–540, doi :10.1017/S1079898600003000, JSTOR  3396716, S2CID  124002889{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )
    • Кибернет , 35 (1/2), январь 2006 г., doi :10.1108/k.2006.06735aae.002{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )
    • Лесканн, Пьер (март 2006 г.), ACM SIGACT News , 37 (1): 27, doi : 10.1145/1122480.1122489, S2CID  9529607{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )
    • Карниелли, Уолтер (март 2006 г.), Логика и логическая философия , 15 (1), doi : 10.12775/llp.2006.005{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )
    • Вуд, Кэрол (апрель 2006 г.), The American Mathematical Monthly , 113 (4): 377–379, doi :10.2307/27641942, JSTOR  27641942{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )
    • Обердан, Томас (июнь 2006 г.), Isis , 97 (2): 362–363, doi : 10.1086/507375, JSTOR  10.1086/507375{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )
    • Грэттан-Гиннесс, Айвор (сентябрь 2006 г.), Британский журнал истории науки , 39 (3): 469–470, doi :10.1017/S0007087406438681, JSTOR  4028507{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )
    • Апт, Кшиштоф Р. (март 2007 г.), «Альфред Тарский: жизнь и логика», The Mathematical Intelligencer , 29 (2): 78–80, doi :10.1007/bf02986214, S2CID  189883846
    • Синасер, Хурия Бенис (сентябрь 2007 г.), «Обзор» (PDF) , Notices of the American Mathematical Society , 54 (8): 986–989
    • Бассольс, Алехандро Томасини (апрель 2006 г.), Crítica: Revista Hispanoamericana de Filosofía , 38 (112): 105–111, JSTOR  40104969{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )
    • Браун, Скотт Х. (март 2009 г.), Учитель математики , 102 (7): 558, JSTOR  20876430{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )
    • Бремер, Мануэль (декабрь 2009 г.), «Обзор», Philosophy in Review , 29 (6): 404
    • Нерод, Анил (март 2010 г.), The American Mathematical Monthly , 117 (3): 286–288, doi : 10.4169/000298910x480144, JSTOR  10.4169/000298910x480144, S2CID  218549336{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )
    • Чернецка-Рей, Божена (2011), Roczniki Filozoficzne , 59 (1): 79–84, JSTOR  43408916{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )
  9. ^ "Фонд Джона Саймона Гуггенхайма | Соломон Феферман".
  10. ^ «Феферману присуждена премия имени Рольфа Шока по логике и философии».
  11. ^ "Gödel Lecturers – Association for Symbolic Logic". Архивировано из оригинала 8 ноября 2021 г. Получено 8 ноября 2021 г.
  12. ^ "Лекции Тарского | Кафедра математики Калифорнийского университета в Беркли". math.berkeley.edu . Получено 8 ноября 2021 г. .
  13. ↑ Список членов Американского математического общества, получен 2 декабря 2012 г.
  14. ^ Рецензии на книгу «В свете логики» :

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