- 376 名前：１３２人目の素数さん mailto:sage [2005/05/03(火) 23:33:52 ]
- ノイマンもいくらか仕事はしてるけど，
基礎論に関する限り，それほど大きな仕事はしてないような
（弱い算術の無矛盾性の証明とかだったような．
ほかは不勉強で知らない．）
たしかにforcing知ってれば再帰函数論とかで有利みたいですけど
基礎論は必ずしも集合論を知らなくても出来ますし，
ACは十分自然な公理であって，ACの独立性など
あまり重要ではない，という人も居ます．
また，ノイマンの階層論理も，ロジックプロパーな人は
よく使うみたいですから，どっちがインパクトが大きいとも言えないかと．
