Харви Фридман - Harvey Friedman

Для актера см. Харви Фридман (актер).
Харви Фридман

Харви Фридман (родился 23 сентября 1948 г.)[1] американец математический логик в Государственный университет Огайо в Колумбус, Огайо. Он работал над обратная математика, проект, предназначенный для вывода аксиом математики из теорем, которые считаются необходимыми. В последние годы это продвинулось до исследования теории булевых отношений, которая пытается оправдать большой кардинал аксиомы демонстрируя их необходимость для вывода определенных положений, считающихся «конкретными».

Фридман заслужил Кандидат наук. от Массачусетский Институт Технологий в 1967 г. диссертация на Подсистемы анализа. Его советник был Джеральд Сакс.[2] Фридман получил Премия Алана Т. Уотермана в 1984 году. Тарские лекции в 2007.

В 1967 году Фридман был внесен в список Книга рекордов Гиннеса за то, что он был самым молодым профессором в мире, когда он преподавал в Стэндфордский Университет в 18 лет как доцент из философия.[1][3][4] Он также был профессор из математика и профессор музыки.[5] Он официально вышел на пенсию в июле 2012 года. В сентябре 2013 года он получил степень почетного доктора Гентский университет.[6]

Джордана Чепелевич (2017) представила Фридмана в Наутилус как «Человек, который хочет спасти бесконечность».[7]

Фридман попал в заголовки итальянских газет La Repubblica для его рукописи Доказательство божественной непротиворечивости математики, где подробно показано, как, исходя из гипотезы о существовании Бога (в смысле Онтологическое доказательство Гёделя ), можно показать, что математика, формализованная обычным Аксиомы ZFC, согласуется.[8]

Фридман - брат математика Сай Фридман.

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

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

  1. ^ а б Справочник по философской логике, ISBN  0-7923-7018-X, п. 38
  2. ^ Харви Фридман на Проект "Математическая генеалогия"
  3. ^ Доктор Харви Мартин Фридман - Отличия
  4. ^ Выдающиеся преподаватели Университета штата Огайо (2007–2008 гг.)
  5. ^ Степени и история работы Харви Фридмана
  6. ^ Фридман, Харви (4 сентября 2013 г.). "Eredoctoraat Harvey Friedman". UGent. Получено 7 ноября, 2020.
  7. ^ Человек, который хочет спасти бесконечность, Джордана Чепелевич, 23 февраля 2017 г.
  8. ^ Одифредди, Пьерджоржио (5 января 2013 г.). "La matematica ci riprova:" Ecco perché Dio esiste"". la Repubblica. Получено 21 декабря, 2018.

дальнейшее чтение

внешняя ссылка