Харви Фридман - Harvey Friedman
Харви Фридман (родился 23 сентября 1948 г.) - американский математик-логик из Университета штата Огайо в Колумбусе, штат Огайо . Он работал над обратной математикой , проектом, направленным на вывод аксиом математики из теорем, которые считались необходимыми. В последние годы это продвинулось к изучению теории булевых отношений, которая пытается оправдать большие кардинальные аксиомы , демонстрируя их необходимость для вывода определенных суждений, считающихся «конкретными».
Фридман получил докторскую степень. в Массачусетском технологическом институте в 1967 году, защитив диссертацию по подсистемам анализа . Его советником был Джеральд Сакс . В 1984 году Фридман получил премию Алана Т. Уотермана. В 2007 году он прочитал лекции Тарского .
В 1967 году Фридман был внесен в Книгу рекордов Гиннеса за то , что самый молодой профессор в мире , когда он преподавал в Стэнфордском университете в возрасте 18 лет в качестве ассистента профессора по философии . Он также был профессором в области математики и профессор музыки. Он официально вышел на пенсию в июле 2012 года. В сентябре 2013 года он получил степень почетного доктора Гентского университета .
Джордана Чепелевич (2017) представила Фридмана в « Наутилусе» как «Человека, который хочет спасти бесконечность».
Фридман сделал заголовки в итальянской газете La Repubblica из- за своей рукописи A Divine Consistency Proof for Mathematics , в которой подробно показано, как, исходя из гипотезы существования Бога (в смысле онтологического доказательства Гёделя ), можно показать, что математика , формализованная обычными аксиомами ZFC , непротиворечива.
Фридман - брат математика Сая Фридмана .
Смотрите также
Рекомендации
дальнейшее чтение
- Л.А. Харрингтон и др. , ред., Исследования Харви Фридмана по основам математики , Исследования по логике и основам математики 117, Амстердам, North-Holland Publishing Company (1985)