Харви Фридман
Харви Фридман (родился 23 сентября 1948 года) [1] — американский математический логик из Университета штата Огайо в Колумбусе, штат Огайо . Он работал над обратной математикой , проектом, направленным на вывод аксиом математики из теорем, которые считаются необходимыми. В последние годы это перешло в изучение теории булевых отношений, которая пытается обосновать большие кардинальные аксиомы , демонстрируя их необходимость для вывода определенных предложений, которые считаются «конкретными».
Фридман получил степень доктора философии в Массачусетском технологическом институте в 1967 году, в возрасте 19 лет, защитив диссертацию по подсистемам анализа . Его научным руководителем был Джеральд Сакс . [2] Фридман получил премию Алана Т. Уотермана в 1984 году. Он также получил звание приглашенного ученого в IBM . [3] Он прочитал лекции Тарского в 2007 году.
В 1967 году Фридман был занесен в Книгу рекордов Гиннесса как самый молодой профессор в мире, когда он преподавал в Стэнфордском университете в возрасте 18 лет в качестве доцента философии . [1] [4] [ 5] Он также был профессором математики и профессором музыки. [ 6] Он официально вышел на пенсию в июле 2012 года. В сентябре 2013 года он получил почетную докторскую степень от Гентского университета . [7]
Джордана Цепелевич (2017) описала Фридмана в «Наутилусе» как «Человека, который хочет спасти Бесконечность». [8]
Фридман попал в заголовки итальянской газеты La Repubblica благодаря своей рукописи «Доказательство божественной непротиворечивости математики», в которой подробно показано, как, исходя из гипотезы существования Бога (в смысле онтологического доказательства Гёделя ), можно показать, что математика, формализованная обычными аксиомами ZFC , непротиворечива. [9]
Он изобрел и доказал важные теоремы, касающиеся игр с конечными обещаниями и жадных последовательностей клик , а великая гипотеза Фридмана носит его имя.
Фридман — брат математика Сая Фридмана .
По данным ResearchGate , за время своей академической карьеры Фридман опубликовал более 200 рецензируемых научных статей . [10]
Смотрите также
Ссылки
- ^ ab Справочник по философской логике, ISBN 0-7923-7018-X , стр. 38
- ^ Харви Фридман в проекте «Генеалогия математики»
- ^ Barwise et al., Исследования Харви Фридмана по основам математики, стр. xiii. Исследования по логике и основам математики, т. 117, Северная Голландия, Амстердам
- ^ Доктор Харви Мартин Фридман - Отличия
- ^ Выдающиеся преподаватели Университета штата Огайо (2007—2008)
- ^ Дипломы и история трудоустройства Харви Фридмана
- ↑ Фридман, Харви (4 сентября 2013 г.). «Эредкторат Харви Фридмана». УГент . Проверено 7 ноября 2020 г.
- ↑ «Человек, который хочет спасти бесконечность», Джордана Цепелевич, 23 февраля 2017 г.
- ↑ Одифредди, Пьерджорджо (5 января 2013 г.). «La matematica ci riprova: «Ecco perché Dio esiste»». ла Република . Проверено 21 декабря 2018 г.
- ^ https://www.researchgate.net/scientific-contributions/Harvey-M-Friedman-38912091 [ пустой URL ]
Дальнейшее чтение
- LA Harrington et al. , ред., Исследования Харви Фридмана в области оснований математики, Исследования по логике и основаниям математики 117, Амстердам, North-Holland Publishing Company (1985)
Внешние ссылки
- Домашняя страница Харви Фридмана в Университете штата Огайо
- Харви Фридман в проекте «Генеалогия математики»
