Харви Фридман в 2011.
Харви Фридман (родился 23 сентября 1948 года) — математик-логик, преподававший в университете штата Огайо до своей отставки летом 2012 года.[1][2]
С 1997 года Фридман продолжает серию сообщений в списке рассылки FOM (Основы математики) Нью-Йоркского университета, которые он называет "пронумерованными сообщениями".[3] Они охватывают широкий круг в области математической логики, и некоторые исследования включают большие числа. Например, он создал и доказал теорему о блочной подпоследовательности[4], теорему о круге, последовательность TREE, числа подкубических графов, трансцендентные целые числа[5] и игры с конечными обещаниями.
Фридман также является пианистом-любителем-самоучкой.
Примечания[]
- ↑ Домашняя страница Харви Фридмана
- ↑ Харви Фридман в Википедии
- ↑ Список пронумерованных сообщений по состоянию на 2014-08-11
- ↑ Харви Фридман, Длинные конечные последовательности
- ↑ Харви Фридман, Огромные целые числа в реальной жизни