ノイマンは流体(コンピューターの数値計算)、ゲーム理論、量子力学の数学的基礎が有名だけど基本的な欲求は数学基礎論にあると思う ゲーデルが1931年に第一不完全性定理を発見してからノイマンは基礎論の研究から離れてる
