Харви Фридман
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/57/Harvey_Friedman.jpg/220px-Harvey_Friedman.jpg)
Харви Фридман (родился 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]
См. также [ править ]
Ссылки [ править ]
- ^ Перейти обратно: а б Справочник по философской логике, ISBN 0-7923-7018-X , с. 38
- ^ Харви Фридман в проекте «Математическая генеалогия»
- ^ Барвайз и др., Исследование Харви Фридмана по основам математики, стр.xiii. Исследования по логике и основам математики, том. 117, Северная Голландия, Амстердам
- ^ Доктор Харви Мартин Фридман - Отличия
- ^ Заслуженные преподаватели Университета штата Огайо (2007–2008 гг.)
- ^ Степени и история работы Харви Фридмана
- ^ Фридман, Харви (4 сентября 2013 г.). «Почетный доктор Харви Фридмана» . УГент . Проверено 7 ноября 2020 г.
- ↑ « Человек, который хочет спасти бесконечность» , Джордана Цепелевич, 23 февраля 2017 г.
- ^ Одифредди, Пьерджорджо (5 января 2013 г.). «Математика пытается еще раз: «Вот почему существует Бог» » . Республика . Проверено 21 декабря 2018 г.
- ^ https://www.researchgate.net/scientific-contributions/Harvey-M-Friedman-38912091
Дальнейшее чтение [ править ]
- Л.А. Харрингтон и др. , ред., Исследования Харви Фридмана по основам математики , Исследования по логике и основам математики 117, Амстердам, Издательство North-Holland Publishing Company (1985).