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