Харви Фридман
Харви Фридман (родился 23 сентября 1948 г.) [1] — американский математический логик из Университета штата Огайо в Колумбусе, штат Огайо . Он работал над обратной математикой — проектом, призванным вывести аксиомы математики из теорем, которые считались необходимыми. В последние годы это перешло к изучению теории булевых отношений, которая пытается оправдать большие кардинальные аксиомы , демонстрируя их необходимость для вывода определенных положений, считающихся «конкретными».
Фридман получил докторскую степень. из Массачусетского технологического института в 1967 году, в возрасте 19 лет, с диссертацией на тему «Подсистемы анализа» . Его советником был Джеральд Сакс . [2] Фридман получил Премию Алана Т. Уотермана в 1984 году. Он также получил титул приглашенного ученого в IBM . [3] он прочитал лекции Тарского В 2007 году .
В 1967 году Фридман был занесен в Книгу рекордов Гиннеса как самый молодой профессор в мире, когда он преподавал в университете в возрасте 18 лет в качестве доцента философии Стэнфордском . [1] [4] [5] Он также был профессором математики . и профессором музыки [6] Он официально вышел на пенсию в июле 2012 года. В сентябре 2013 года он получил степень почетного доктора Гентского университета . [7]
Джордана Цепелевич (2017) охарактеризовала Фридмана в «Наутилусе» как «Человека, который хочет спасти бесконечность». [8]
Фридман попал в заголовки итальянской газеты La Repubblica своей рукописью A Divine Consistency Proof for Mathematics , в которой подробно показано, как, исходя из гипотезы существования Бога (в смысле онтологического доказательства Гёделя ), можно показать, что математика , формализованное обычными аксиомами ZFC , непротиворечиво. [9]
Он изобрел и доказал важные теоремы, касающиеся игр с конечным обещанием и последовательностей жадных клик , а великая гипотеза Фридмана носит его имя.
Фридман — брат математика Сая Фридмана .
По данным ResearchGate Фридман опубликовал более 200 рецензируемых исследовательских статей . , за свою академическую карьеру [10]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Jump up to: а б Справочник по философской логике, 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, Амстердам, Издательство Северной Голландии (1985).
Внешние ссылки
[ редактировать ]- Домашняя страница Харви Фридмана в Университете штата Огайо
- Харви Фридман в проекте «Математическая генеалогия»
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Люди | |
