Харви Фридман
- Харви Фридман – американский математический логик из Университета штата Огайо.
- Он работал над проектом “Обратная математика”, целью которого было вывести математические аксиомы из теорем.
- В последние годы это привело к изучению теории булевых отношений.
- Фридман защитил докторскую диссертацию и получил премию Алана Т. Премия Уотермана.
- Он также получил звание приглашенного ученого в IBM и читал лекции Тарского.
- Фридман был занесен в Книгу рекордов Гиннесса как самый молодой профессор в мире.
- Он изобрел и доказал важные теоремы, касающиеся игр с конечными обещаниями и последовательностей жадных клик.
- Фридман – брат математика Сая Фридмана и опубликовал более 200 рецензируемых научных статей.
Полный текст статьи: