そうなんだ。ヒルベルト。
ヒルベルトプログラムはだめだったんだね。
グロタンディークの功績を見てたんだけど、いい人っぽいね〜。