Соломон Феферман
Соломон Феферман | |
|---|---|
 Соломон Феферман в Ассоциации символической логики, Питтсбург, май 2004 г. | |
| Рожденный | 13 декабря 1928 г. Бронкс, Нью-Йорк , США |
| Умер | 26 июля 2016 г. (87 лет) ( Стэнфорд, Калифорния , США |
| Альма-матер | Калифорнийский технологический институт Калифорнийский университет, Беркли |
| Эра | Современная философия |
| Область | Западная философия |
| Школа | Аналитический Предикативизм |
| Тезис | Доказательства формальной непротиворечивости и интерпретируемость теорий (1957) |
| Докторантура | Альфред Тарский |
| Докторанты | |
Основные интересы | Философия математики Теория доказательств Теория вычислений |
Известные идеи | Стратифицированные системы для основ теории категорий [1] Порядковый номер Фефермана – Шхютте Порядковая схлопывающая функция Явная математика |
Соломон Феферман (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]
Публикации [ править ]
Документы [ править ]
- Феферман, Соломон; Воот, Роберт Л. (1959), «Свойства первого порядка произведений алгебраических систем», Fund. Математика. 47, 57–103.
- Феферман, Соломон (1975), «Язык и аксиомы для явной математики», Алгебра и логика (Четырнадцатый летний Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), стр. 87–139, Конспект лекций по математике, вып. 450, Берлин, Шпрингер.
- Феферман, Соломон (1979), «Конструктивные теории функций и классов», Logic Colloquium '78 (Mons, 1978) , стр. 159–224, Stud. Основы логики Math., 97, Амстердам, Нью-Йорк, Северная Голландия.
- Бухгольц, Вильфрид; Феферман, Соломон; Полерс, Вольфрам; Зиг, Вильфрид (1981), «Итерированные индуктивные определения и подсистемы анализа: недавние исследования теории доказательств», Конспекты лекций по математике , 897, Берлин, Нью-Йорк, Springer-Verlag.
- Феферман, Соломон; Хеллман, Джеффри (1995), «Предикативные основы арифметики», J. Philos. Логика 24 (1), 1–17.
- Авигад, Джереми ; ) интерпретация Гёделя Феферман, Соломон (1998), «Функциональная ( диалектика », Справочник по теории доказательств , 337–405, Stud. Логика найдена. Матем., 137, Амстердам, Северная Голландия.
Книги [ править ]
- Феферман, Соломон (1964) Числовые системы, основы алгебры и анализа Аддисон Уэсли. Каталог Библиотеки Конгресса №63-12470
- Феферман, Соломон. (1998). В свете логики . Издательство Оксфордского университета. ISBN 0-19-508030-0 , серия «Логика и вычисления в философии». [14]
- Феферман, Анита Бурдман; Феферман, Соломон (2004). Альфред Тарский: Жизнь и логика . Издательство Кембриджского университета . ISBN 978-0-521-80240-6 . OCLC 54691904 . [8]
См. также [ править ]
Ссылки [ править ]
- ^ «Обогащенные стратифицированные системы для основ теории категорий» Соломона Фефермана (2011)
- ^ Перейти обратно: а б «Соломон Феферман (1928-2016)» .
- ^ Соломон Феферман в проекте «Математическая генеалогия»
- ^ «Домашняя страница Соломона Фефермана» . Архивировано из оригинала 24 октября 2017 года.
- ^ Ланье Андерсон, Р. (4 августа 2016 г.). «Посвящение Соломону Феферману (1928–2016)» . Философия.stanford.edu . Архивировано из оригинала 11 сентября 2016 года . Проверено 24 июля 2021 г.
- ^ «Стэнфордский математический логик Соломон Феферман умирает в возрасте 87 лет» . Стэнфордские новости . 7 октября 2016 г. Проверено 24 июля 2021 г.
- ^ «В память | Математическая ассоциация Америки» . www.maa.org . Проверено 24 июля 2021 г.
- ^ Перейти обратно: а б Отзывы об Альфреде Тарском :
- Добен, Джозеф В. (2005), Математические обзоры , MR 2095748
{{citation}}: CS1 maint: периодическое издание без названия ( ссылка ) - Анеллис, Ирвинг Х. (2005), «Обзор» , Обзор современной логики , 10 (1–2): 117–130.
- Дэвис, Филип Дж. (март 2005 г.), «Жизнь, полная логики и нелогичность жизни» , SIAM News
- Дэвис, Мартин (март – апрель 2005 г.), «Человек, который определил истину», American Scientist , 93 (2): 175–177, JSTOR 27858554
- Шелл-Геллаш, Эми (май 2005 г.), «Обзор» , MAA Reviews
- Мисюн, Кристина (май 2005 г.), История и философия логики , 26 (2): 166–168, doi : 10.1080/01445340412331313602 , S2CID 216590845
{{citation}}: CS1 maint: периодическое издание без названия ( ссылка ) - Мендельсон, Эллиотт (июнь 2005 г.), Математическая философия , 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) , Уведомления Американского математического общества , 54 (8): 986–989.
- Бассольс, Алехандро Томасини (апрель 2006 г.), Критика: Испаноязычный журнал философии , 38 (112): 105–111, JSTOR 40104969
{{citation}}: CS1 maint: периодическое издание без названия ( ссылка ) - Браун, Скотт Х. (март 2009 г.), Учитель математики , 102 (7): 558, JSTOR 20876430
{{citation}}: CS1 maint: периодическое издание без названия ( ссылка ) - Бремер, Мануэль (декабрь 2009 г.), «Обзор» , «Философия в обзоре» , 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: периодическое издание без названия ( ссылка )
- Добен, Джозеф В. (2005), Математические обзоры , MR 2095748
- ^ «Фонд Джона Саймона Гуггенхайма | Соломон Феферман» .
- ^ «Феферман присудил премию Рольфа Шока в области логики и философии» .
- ^ «Лекторы Гёделя – Ассоциация символической логики» . Архивировано из оригинала 8 ноября 2021 года . Проверено 8 ноября 2021 г.
- ^ «Лекции Тарского | Кафедра математики Калифорнийского университета в Беркли» . math.berkeley.edu . Проверено 8 ноября 2021 г.
- ^ Список членов Американского математического общества , получено 2 декабря 2012 г.
- ^ Обзоры книги « В свете логики» :
- Авигад, Джереми (декабрь 1999 г.), «[Без названия]» , The Journal of Philosophy , 96 (12): 638–642, doi : 10.2307/2564698 , JSTOR 2564698
- Антонелли, Дж. Альдо (июнь 2001 г.), Бюллетень символической логики , 7 (2): 270–277, doi : 10.2307/2687778 , JSTOR 2687778 , S2CID 122751203
{{citation}}: CS1 maint: периодическое издание без названия ( ссылка ) - Мендельсон, Э. (2001), Математические обзоры , MR 1661162
{{citation}}: CS1 maint: периодическое издание без названия ( ссылка )
Внешние ссылки [ править ]
- 1928 рождений
- Американские математики XXI века
- Американские логики
- Американские учёные-евреи
- Еврейские философы
- Математические логики
- Американские историки математики
- Выпускники Калифорнийского университета в Беркли
- Лауреаты премии Рольфа Шока
- Факультет философского факультета Стэнфордского университета
- Факультет математического факультета Стэнфордского университета
- Американские философы математики
- Члены Американского математического общества
- смертей в 2016 г.
- Американские евреи XXI века
- Американские математики XX века