>>7
逆数学の Friedman は Harvey Friedman です。
18歳でスタンフォードの助教授になってギネスブックに載った人。