個人的にはノイマンとかよりはガウス、ラマヌジャン、ゲーデルのが凄いように感じるんだが。