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

Соломон Феферман
Родившийся	(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, Конспект лекций по математике, т. 450, Берлин, Шпрингер.
Феферман, Соломон (1979), "Конструктивные теории функций и классов", Logic Colloquium '78 (Mons, 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 . CS1 maint: discouraged parameter (link)^[5]

См. Также [ править ]

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

Ссылки [ править ]

^ «Система Обогащенной Стратифицированная для Основы теории категорий» по Соломону Феферману (2011)
^ "Соломон Феферман (1928-2016)" .
^ Соломон Феферман на Математическая генеалогия
^ "Домашняя страница Соломона Фефермана" . Архивировано из оригинального 24 -го октября 2017 года.
^ a b
Отзывы об Альфреде Тарском :
- Даубен, Джозеф В. (2005), Mathematical Reviews , MR 2095748 CS1 maint: discouraged parameter (link) CS1 maint: untitled periodical (link)
- Анеллис, Ирвинг Х. (2005), «Обзор» , Обзор современной логики , 10 (1-2): 117-130
- Дэвис, Филип Дж. (Март 2005 г.), «Логическая жизнь и нелогичность жизни» , SIAM News
- Дэвис, Мартин (март – апрель 2005 г.), «Человек, определивший истину», American Scientist , 93 (2): 175–177, JSTOR 27858554
- Shell-Gellasch, Эми (май 2005 г.), «Обзор» , MAA Reviews.
- Misiuna, Кристина (май 2005), История и философия логики , 26 (2): 166-168, DOI : 10,1080 / 01445340412331313602 , S2CID 216590845CS1 maint: untitled periodical (link)
- Мендельсон, Эллиот (июнь 2005), Philosophia Mathematica , 13 (2): 231-232, DOI : 10,1093 / philmat / nki020CS1 maint: untitled periodical (link)
- Kilmister, CW (июль 2005), Математическая газета , 89 (515): 330-331, DOI : 10,1017 / S0025557200177988 , JSTOR 3621256CS1 maint: untitled periodical (link)
- Шмит, Роджер (осень 2005 г.), Archives de Philosophie , 68 (3): 546–547, JSTOR 43038344CS1 maint: untitled periodical (link)
- Мэддокс, Роджер Д. (декабрь 2005), Бюллетень символической логики , 11 (4): 535-540, DOI : 10,1017 / S1079898600003000 , JSTOR 3396716 , S2CID 124002889CS1 maint: untitled periodical (link)
- Kybernetes , 35 (1/2), январь 2006, DOI : 10,1108 / k.2006.06735aae.002CS1 maint: untitled periodical (link)
- Lescanne, Пьер (март 2006), ACM SIGACT Новости , 37 (1): 27, DOI : 10,1145 / 1122480,1122489 , S2CID 9529607CS1 maint: untitled periodical (link)
- Carnielli, Вальтер (март 2006), логика и логическая философия , 15 (1), DOI : 10,12775 / llp.2006.005CS1 maint: untitled periodical (link)
- Вуд, Кэрол (апрель 2006), Американское математическое Месячный , 113 (4): 377-379, DOI : 10,2307 / 27641942 , JSTOR 27641942CS1 maint: untitled periodical (link)
- Oberdan, Томас (июнь 2006), Isis , 97 (2): 362-363, DOI : 10,1086 / 507375 , JSTOR 10,1086 / 507375CS1 maint: untitled periodical (link)
- Грэттэн-Guinness, Ивор (сентябрь 2006), Британский журнал по истории науки , 39 (3): 469-470, DOI : 10,1017 / S0007087406438681 , JSTOR 4028507CS1 maint: untitled periodical (link)
- Apt, Krzysztof R. (март 2007), "Тарский: жизнь и логика", Математическая Интеллидженсер , 29 (2): 78-80, DOI : 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 40104969CS1 maint: untitled periodical (link)
- Браун, Скотт Х. (март 2009 г.), Учитель математики , 102 (7): 558, JSTOR 20876430CS1 maint: untitled periodical (link)
- Бремер, Мануэль (декабрь 2009 г.), «Обзор» , Philosophy in Review , 29 (6): 404
- Nerode, Анил (март 2010), Американское математическое Месячный , 117 (3): 286-288, DOI : 10,4169 / 000298910x480144 , JSTOR 10,4169 / 000298910x480144 , S2CID 218549336CS1 maint: untitled periodical (link)
- Чернецка-Рей, Божена (2011), Roczniki Filozoficzne , 59 (1): 79–84, JSTOR 43408916CS1 maint: untitled periodical (link)
^ "Фонд Джона Саймона Гуггенхайма | Соломон Феферман" .
^ «Феферман награжден премией Рольфа Шока в области логики и философии» .
↑ Список членов Американского математического общества , получено 2 декабря 2012 г.
^
Обзоры в свете логики :
- Авигад, Джереми (декабрь 1999 г.), The Journal of Philosophy , 96 (12): 638–642, doi : 10.2307 / 2564698 , JSTOR 2564698 https://semanticscholar.org/paper/08b0919ef041a5a92a8093f5f6b3f5f8a5ecd78e ( help ) отсутствует название |url=CS1 maint: untitled periodical (link)
- Антонелли, Г. Aldo (июнь 2001), Бюллетень символической логики , 7 (2): 270-277, DOI : 10,2307 / 2687778 , JSTOR 2687778 , S2CID 122751203CS1 maint: untitled periodical (link)
- Mendelson, E. (2001), Mathematical Reviews , MR 1661162CS1 maint: untitled periodical (link)

Внешние ссылки [ править ]

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

Эта статья об американском математике - незавершенная . Вы можете помочь Википедии, расширив ее .

[1] «Система Обогащенной Стратифицированная для Основы теории категорий» по Соломону Феферману (2011)

[2] "Соломон Феферман (1928-2016)" .

[3] Соломон Феферман на Математическая генеалогия

[4] "Домашняя страница Соломона Фефермана" . Архивировано из оригинального 24 -го октября 2017 года.

[atll-5] Отзывы об Альфреде Тарском :
Даубен, Джозеф В. (2005), Mathematical Reviews , MR 2095748 CS1 maint: discouraged parameter (link) CS1 maint: untitled periodical (link)
Анеллис, Ирвинг Х. (2005), «Обзор» , Обзор современной логики , 10 (1-2): 117-130
Дэвис, Филип Дж. (Март 2005 г.), «Логическая жизнь и нелогичность жизни» , SIAM News
Дэвис, Мартин (март – апрель 2005 г.), «Человек, определивший истину», American Scientist , 93 (2): 175–177, JSTOR 27858554
Shell-Gellasch, Эми (май 2005 г.), «Обзор» , MAA Reviews.
Misiuna, Кристина (май 2005), История и философия логики , 26 (2): 166-168, DOI : 10,1080 / 01445340412331313602 , S2CID 216590845CS1 maint: untitled periodical (link)
Мендельсон, Эллиот (июнь 2005), Philosophia Mathematica , 13 (2): 231-232, DOI : 10,1093 / philmat / nki020CS1 maint: untitled periodical (link)
Kilmister, CW (июль 2005), Математическая газета , 89 (515): 330-331, DOI : 10,1017 / S0025557200177988 , JSTOR 3621256CS1 maint: untitled periodical (link)
Шмит, Роджер (осень 2005 г.), Archives de Philosophie , 68 (3): 546–547, JSTOR 43038344CS1 maint: untitled periodical (link)
Мэддокс, Роджер Д. (декабрь 2005), Бюллетень символической логики , 11 (4): 535-540, DOI : 10,1017 / S1079898600003000 , JSTOR 3396716 , S2CID 124002889CS1 maint: untitled periodical (link)
Kybernetes , 35 (1/2), январь 2006, DOI : 10,1108 / k.2006.06735aae.002CS1 maint: untitled periodical (link)
Lescanne, Пьер (март 2006), ACM SIGACT Новости , 37 (1): 27, DOI : 10,1145 / 1122480,1122489 , S2CID 9529607CS1 maint: untitled periodical (link)
Carnielli, Вальтер (март 2006), логика и логическая философия , 15 (1), DOI : 10,12775 / llp.2006.005CS1 maint: untitled periodical (link)
Вуд, Кэрол (апрель 2006), Американское математическое Месячный , 113 (4): 377-379, DOI : 10,2307 / 27641942 , JSTOR 27641942CS1 maint: untitled periodical (link)
Oberdan, Томас (июнь 2006), Isis , 97 (2): 362-363, DOI : 10,1086 / 507375 , JSTOR 10,1086 / 507375CS1 maint: untitled periodical (link)
Грэттэн-Guinness, Ивор (сентябрь 2006), Британский журнал по истории науки , 39 (3): 469-470, DOI : 10,1017 / S0007087406438681 , JSTOR 4028507CS1 maint: untitled periodical (link)
Apt, Krzysztof R. (март 2007), "Тарский: жизнь и логика", Математическая Интеллидженсер , 29 (2): 78-80, DOI : 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 40104969CS1 maint: untitled periodical (link)
Браун, Скотт Х. (март 2009 г.), Учитель математики , 102 (7): 558, JSTOR 20876430CS1 maint: untitled periodical (link)
Бремер, Мануэль (декабрь 2009 г.), «Обзор» , Philosophy in Review , 29 (6): 404
Nerode, Анил (март 2010), Американское математическое Месячный , 117 (3): 286-288, DOI : 10,4169 / 000298910x480144 , JSTOR 10,4169 / 000298910x480144 , S2CID 218549336CS1 maint: untitled periodical (link)
Чернецка-Рей, Божена (2011), Roczniki Filozoficzne , 59 (1): 79–84, JSTOR 43408916CS1 maint: untitled periodical (link)

[6] Даубен, Джозеф В. (2005), Mathematical Reviews , MR 2095748 CS1 maint: discouraged parameter (link) CS1 maint: untitled periodical (link)

[7] Анеллис, Ирвинг Х. (2005), «Обзор» , Обзор современной логики , 10 (1-2): 117-130

[8] Дэвис, Филип Дж. (Март 2005 г.), «Логическая жизнь и нелогичность жизни» , SIAM News

[9] Дэвис, Мартин (март – апрель 2005 г.), «Человек, определивший истину», American Scientist , 93 (2): 175–177, JSTOR 27858554

[10] Shell-Gellasch, Эми (май 2005 г.), «Обзор» , MAA Reviews.

[11] Misiuna, Кристина (май 2005), История и философия логики , 26 (2): 166-168, DOI : 10,1080 / 01445340412331313602 , S2CID 216590845CS1 maint: untitled periodical (link)

[12] Мендельсон, Эллиот (июнь 2005), Philosophia Mathematica , 13 (2): 231-232, DOI : 10,1093 / philmat / nki020CS1 maint: untitled periodical (link)

[13] Kilmister, CW (июль 2005), Математическая газета , 89 (515): 330-331, DOI : 10,1017 / S0025557200177988 , JSTOR 3621256CS1 maint: untitled periodical (link)

[14] Шмит, Роджер (осень 2005 г.), Archives de Philosophie , 68 (3): 546–547, JSTOR 43038344CS1 maint: untitled periodical (link)

[15] Мэддокс, Роджер Д. (декабрь 2005), Бюллетень символической логики , 11 (4): 535-540, DOI : 10,1017 / S1079898600003000 , JSTOR 3396716 , S2CID 124002889CS1 maint: untitled periodical (link)

[16] Kybernetes , 35 (1/2), январь 2006, DOI : 10,1108 / k.2006.06735aae.002CS1 maint: untitled periodical (link)

[17] Lescanne, Пьер (март 2006), ACM SIGACT Новости , 37 (1): 27, DOI : 10,1145 / 1122480,1122489 , S2CID 9529607CS1 maint: untitled periodical (link)

[18] Carnielli, Вальтер (март 2006), логика и логическая философия , 15 (1), DOI : 10,12775 / llp.2006.005CS1 maint: untitled periodical (link)

[19] Вуд, Кэрол (апрель 2006), Американское математическое Месячный , 113 (4): 377-379, DOI : 10,2307 / 27641942 , JSTOR 27641942CS1 maint: untitled periodical (link)

[20] Oberdan, Томас (июнь 2006), Isis , 97 (2): 362-363, DOI : 10,1086 / 507375 , JSTOR 10,1086 / 507375CS1 maint: untitled periodical (link)

[21] Грэттэн-Guinness, Ивор (сентябрь 2006), Британский журнал по истории науки , 39 (3): 469-470, DOI : 10,1017 / S0007087406438681 , JSTOR 4028507CS1 maint: untitled periodical (link)

[22] Apt, Krzysztof R. (март 2007), "Тарский: жизнь и логика", Математическая Интеллидженсер , 29 (2): 78-80, DOI : 10.1007 / bf02986214 , S2CID 189883846

[23] Sinaceur, Hourya Benis (сентябрь 2007 г.), «Обзор» (PDF) , Уведомления Американского математического общества , 54 (8): 986–989

[24] Бассольс, Алехандро Томазини (апрель 2006 г.), Crítica: Revista Hispanoamericana de Filosofía , 38 (112): 105–111, JSTOR 40104969CS1 maint: untitled periodical (link)

[25] Браун, Скотт Х. (март 2009 г.), Учитель математики , 102 (7): 558, JSTOR 20876430CS1 maint: untitled periodical (link)

[26] Бремер, Мануэль (декабрь 2009 г.), «Обзор» , Philosophy in Review , 29 (6): 404

[27] Nerode, Анил (март 2010), Американское математическое Месячный , 117 (3): 286-288, DOI : 10,4169 / 000298910x480144 , JSTOR 10,4169 / 000298910x480144 , S2CID 218549336CS1 maint: untitled periodical (link)

[28] Чернецка-Рей, Божена (2011), Roczniki Filozoficzne , 59 (1): 79–84, JSTOR 43408916CS1 maint: untitled periodical (link)

[6] "Фонд Джона Саймона Гуггенхайма | Соломон Феферман" .

[7] «Феферман награжден премией Рольфа Шока в области логики и философии» .

[8] Список членов Американского математического общества , получено 2 декабря 2012 г.

[ill-9] Обзоры в свете логики :
Авигад, Джереми (декабрь 1999 г.), The Journal of Philosophy , 96 (12): 638–642, doi : 10.2307 / 2564698 , JSTOR 2564698 https://semanticscholar.org/paper/08b0919ef041a5a92a8093f5f6b3f5f8a5ecd78e ( help ) отсутствует название |url=CS1 maint: untitled periodical (link)
Антонелли, Г. Aldo (июнь 2001), Бюллетень символической логики , 7 (2): 270-277, DOI : 10,2307 / 2687778 , JSTOR 2687778 , S2CID 122751203CS1 maint: untitled periodical (link)
Mendelson, E. (2001), Mathematical Reviews , MR 1661162CS1 maint: untitled periodical (link)

[33] Авигад, Джереми (декабрь 1999 г.), The Journal of Philosophy , 96 (12): 638–642, doi : 10.2307 / 2564698 , JSTOR 2564698 https://semanticscholar.org/paper/08b0919ef041a5a92a8093f5f6b3f5f8a5ecd78e ( help ) отсутствует название |url=CS1 maint: untitled periodical (link)

[34] Антонелли, Г. Aldo (июнь 2001), Бюллетень символической логики , 7 (2): 270-277, DOI : 10,2307 / 2687778 , JSTOR 2687778 , S2CID 122751203CS1 maint: untitled periodical (link)

[35] Mendelson, E. (2001), Mathematical Reviews , MR 1661162CS1 maint: untitled periodical (link)

[1]

vте Лауреаты премии Рольфа Шока
Логика и философия	Уиллард Ван Орман Куайн (1993) Майкл Даммит (1995) Дана Скотт (1997) Джон Ролз (1999) Сол Крипке (2001) Соломон Феферман (2003) Яакко Хинтикка (2005) Томас Нагель (2008) Хилари Патнэм (2011) Дерек Парфит (2014) Рут Милликен (2017) Сахарон Шелах (2018) Даг Правиц / Пер Мартин-Лёф (2020)
Математика	Элиас М. Стейн (1993) Эндрю Уайлс (1995) Микио Сато (1997) Юрий Иванович Манин (1999) Эллиотт Х. Либ (2001) Ричард П. Стэнли (2003) Луис Каффарелли (2005) Эндре Семереди (2008) Михаэль Ашбахер (2011) Итан Чжан (2014) Ричард Шон (2017) Рональд Койфман (2018) Николай Григорьевич Макаров (2020)
Изобразительное искусство	Рафаэль Монео (1993) Клас Ольденбург (1995) Торстен Андерссон (1997) Херцог и де Мерон (1999) Джузеппе Пеноне (2001) Сьюзан Ротенберг (2003) SANAA / Кадзуё Седзима + Рюэ Нисидзава (2005) Мона Хатум (2008) Марлен Дюма (2011) Анн Лакатон / Жан-Филипп Вассаль (2014) Дорис Сальседо (2017) Андреа Бранци (2018) Фрэнсис Алёш (2020)
Музыкальное искусство	Ингвар Лидхольм (1993) Дьёрдь Лигети (1995) Йорма Панула (1997) Кронос квартет (1999) Кайджа Саариахо (2001) Энн Софи фон Оттер (2003) Маурисио Кагель (2005) Гидон Кремер (2008) Эндрю Манце (2011) Герберт Бломстедт (2014) Уэйн Шортер (2017) Барбара Ханниган (2018) Дьёрдь Куртаг (2020)