Соломон Феферман - Solomon Feferman

Соломон Феферман
Родился	(1928-12-13)13 декабря 1928 г. Бронкс, Нью-Йорк
Умер	26 июля 2016 г.(2016-07-26) (87 лет)
Альма-матер	Калифорнийский технологический институт Калифорнийский университет в Беркли
Эра	Современная философия
Область, край	Западная философия
Школа	Аналитический Предикативизм
Тезис	Доказательства формальной непротиворечивости и интерпретируемость теорий (1957)
Докторант	Альфред Тарский
Докторанты	Джон Барвайз Кэролайн Талкотт
Основные интересы	Философия математики
Известные идеи	Стратифицированные системы для основ теория категорий[1] Порядковый номер Фефермана – Шютте
Влияния Курт Гёдель
Под влиянием Джон Барвайз

Соломон Феферман (13 декабря 1928 г. - 26 июля 2016 г.)^[2] был американцем философ и математик кто работал в математическая логика.

Жизнь

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

Он получил степень бакалавра наук. от Калифорнийский технологический институт в 1948 г., а в 1957 г. - кандидат технических наук. по математике из Калифорнийский университет в Беркли, под Альфред Тарский,^[3] после того, как был призван и проработал в армии США с 1953 по 1955 год. В 1956 году он был назначен на кафедры математики и философии в Стэндфордский Университет, где позже стал Патрик Суппес Профессор гуманитарных наук.^[4]

Взносы

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

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

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

Признание

Феферман был удостоен стипендии Гуггенхайма в 1972 и 1986 годах.^[6] и Приз Рольфа Шока по логике и философии в 2003 году.^[7] В 2006 году его пригласили поставить Тарские лекции. В 2012 году он стал членом Американское математическое общество.^[8]

Публикации

Статьи

• Феферман, Соломон; Воот, Роберт Л. (1959), "Свойства первого порядка произведений алгебраических систем", Фонд. Математика. 47, 57–103.
• Феферман, Соломон (1975), "Язык и аксиомы для явной математики", Алгебра и логика (Четырнадцатый летний научный институт, Austral. Math. Soc., Monash Univ., Clayton, 1974), стр. 87–139, Lecture Notes in Math., Vol. 450, Берлин, Шпрингер.
• Феферман, Соломон (1979), "Конструктивные теории функций и классов", Коллоквиум по логике '78 (Монс, 1978), стр. 159–224, Stud. Logic Foundations Math., 97, Амстердам, Нью-Йорк, Северная Голландия.
• Бухгольц, Вильфрид; Феферман, Соломон; Полерс, Вольфрам; Зиг, Вильфрид (1981), "Повторяющиеся индуктивные определения и подсистемы анализа: недавние теоретико-доказательные исследования", Конспект лекций по математике, 897, Берлин, Нью-Йорк, Springer-Verlag.
• Феферман, Соломон; Хеллман, Джеффри (1995), «Основы предсказательной арифметики», J. Philos. Логика 24 (1), 1–17.
• Авигад, Джереми; Феферман, Соломон (1998), "Функционал Гёделя (Диалектика) толкование », Справочник по теории доказательств, 337–405, Stud. Логика найдена. Math., 137, Амстердам, Северная Голландия.

Книги

• Феферман, Соломон. (1998). В свете логики. Издательство Оксфордского университета. ISBN  0-19-508030-0, Логика и вычисления в философии.^[9]
• Феферман, Анита Бурдман; Феферман, Соломон (2004). Альфред Тарский: жизнь и логика. Издательство Кембриджского университета. ISBN  978-0-521-80240-6. OCLC  54691904.^[5]

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

• Критика нестандартного анализа

использованная литература

1. «Обогащенные стратифицированные системы для основ теории категорий» от Соломон Феферман (2011)
2. «Соломон Феферман (1928-2016)».
3. Соломон Феферман на Проект "Математическая генеалогия"
4. "Домашняя страница Соломона Фефермана". Архивировано из оригинал 24 октября 2017 г.
5. Обзоры Альфред Тарский:
   • Даубен, Джозеф В. (2005), Математические обзоры, Г-Н  2095748
   • Анеллис, Ирвинг Х. (2005), "Обзор", Обзор современной логики, 10 (1–2): 117–130
   • Дэвис, Филип Дж. (Март 2005 г.), «Логическая жизнь и нелогичность жизни», Новости SIAM
   • Дэвис, Мартин (Март – апрель 2005 г.), «Человек, определивший истину», Американский ученый, 93 (2): 175–177, JSTOR  27858554
   • Шелл-Геллаш, Эми (Май 2005 г.), "Обзор", Обзоры MAA
   • Мисюна, Кристина (май 2005 г.), История и философия логики, 26 (2): 166–168, Дои:10.1080/01445340412331313602, S2CID  216590845
   • Мендельсон, Эллиотт (июнь 2005 г.), Философия Математики, 13 (2): 231–232, Дои:10.1093 / philmat / nki020
   • Килмистер, К. (Июль 2005 г.), Математический вестник, 89 (515): 330–331, Дои:10.1017 / S0025557200177988, JSTOR  3621256
   • Шмит, Роджер (осень 2005 г.), Archives de Philosophie, 68 (3): 546–547, JSTOR  43038344
   • Мэддакс, Роджер Д. (Декабрь 2005 г.), Вестник символической логики, 11 (4): 535–540, Дои:10.1017 / S1079898600003000, JSTOR  3396716
   • Kybernetes, 35 (1/2), январь 2006 г., Дои:10.1108 / k.2006.06735aae.002
   • Лескан, Пьер (март 2006 г.), Новости ACM SIGACT, 37 (1): 27, Дои:10.1145/1122480.1122489, S2CID  9529607
   • Карниелли, Уолтер (март 2006 г.), Логика и логическая философия, 15 (1), Дои:10.12775 / llp.2006.005
   • Вуд, Кэрол (Апрель 2006 г.), Американский математический ежемесячник, 113 (4): 377–379, Дои:10.2307/27641942, JSTOR  27641942
   • Обердан, Томас (июнь 2006 г.), Исида, 97 (2): 362–363, Дои:10.1086/507375, JSTOR  10.1086/507375
   • Граттан-Гиннесс, Айвор (Сентябрь 2006 г.), Британский журнал истории науки, 39 (3): 469–470, Дои:10.1017 / S0007087406438681, JSTOR  4028507
   • Апт, Кшиштоф Р. (март 2007 г.), «Альфред Тарский: жизнь и логика», Математический интеллект, 29 (2): 78–80, Дои:10.1007 / bf02986214, S2CID  189883846
   • Sinaceur, Hourya Benis (Сентябрь 2007 г.), "Обзор" (PDF), Уведомления Американского математического общества, 54 (8): 986–989
   • Бассольс, Алехандро Томазини (апрель 2006 г.), Crítica: Revista Hispanoamericana de Filosofía, 38 (112): 105–111, JSTOR  40104969
   • Браун, Скотт Х. (март 2009 г.), Учитель математики, 102 (7): 558, JSTOR  20876430
   • Бремер, Мануэль (декабрь 2009 г.), "Обзор", Философия в обзоре, 29 (6): 404
   • Нероде, Анил (Март 2010 г.), Американский математический ежемесячник, 117 (3): 286–288, Дои:10.4169 / 000298910x480144, JSTOR  10.4169 / 000298910x480144, S2CID  218549336
   • Чернецка-Рей, Божена (2011), Roczniki Filozoficzne, 59 (1): 79–84, JSTOR  43408916
6. "Фонд Джона Саймона Гуггенхайма | Соломон Феферман".
7. «Феферман удостоен премии Рольфа Шока в области логики и философии».
8. Список членов Американского математического общества, получено 2 декабря 2012 г.
9. Обзоры В свете логики:
   • Авигад, Джереми (Декабрь 1999 г.), Журнал Философии, 96 (12): 638–642, Дои:10.2307/2564698, JSTOR  2564698 https://semanticscholar.org/paper/08b0919ef041a5a92a8093f5f6b3f5f8a5ecd78e | url = отсутствует заголовок (Помогите)
   • Антонелли, Дж. Альдо (Июнь 2001 г.), Вестник символической логики, 7 (2): 270–277, Дои:10.2307/2687778, JSTOR  2687778
   • Мендельсон, Э. (2001), Математические обзоры, Г-Н  1661162

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

• Официальный сайт Соломона Фефермана (через Интернет-архив ) в Стэндфордский Университет