Харви Фридман (родился 23 сентября 1948 г.) - американский математик-логик в Государственном университете Огайо в Колумбусе, Огайо. Он работал над обратной математикой, проектом, целью которого было вывести аксиомы математики из теорем, которые считались необходимыми. В последние годы это продвинулось к исследованию теории булевых отношений, которая пытается оправдать большие кардинальные аксиомы, демонстрируя их необходимость для вывода определенных суждений, считающихся «конкретными».
Фридман получил свою докторскую степень в Массачусетском технологическом институте в 1967 году, защитив диссертацию по подсистемам анализа. Его советником был Джеральд Сакс. Фридман получил Премию Алана Т. Уотермана в 1984 году. Он прочитал лекции Тарского в 2007 году.
В 1967 году Фридман был занесен в Книгу Гиннеса. мировых рекордов за то, что он был самым молодым профессором в мире, когда он преподавал в Стэнфордском университете в возрасте 18 лет в качестве доцента философии. Он также был профессором математики и профессором музыки. Он официально вышел на пенсию в июле 2012 года.
Джордана Чепелевич (2017) представила Фридмана в Наутилусе как «Человека, который хочет спасти бесконечность».
Фридман попал в заголовки газет в газетах. Итальянская газета La Repubblica для его рукописи Доказательство божественной непротиворечивости математики, в котором подробно показано, как, начиная с гипотезы существования Бога (в смысле Гёделя онтологическое доказательство ), можно показать, что математика, формализованная обычными аксиомами ZFC, непротиворечива.
Фридман - брат математика Сай Фридмана.