20/02/17 19:07:53.47 ZoPjSHJ3.net
>>745
そういう問題ではない。
望月のは単純に間違い。
じっさいのところ、ZFCを超えた証明のため、その証明を認めるかどうかでもめるという事は
まずないと思うよ。
仮に将来、本質的にZFCを超えた証明が現れたとしても、その証明は最初から誰もが正しいと認めらるだろう。
、
むしろ逆に、ある程度時間がたってから数学基礎論者によって、その数学が実はZFCを超えたものであることが確認されると思う。
20/02/17 19:07:53.47 ZoPjSHJ3.net
>>745
そういう問題ではない。
望月のは単純に間違い。
じっさいのところ、ZFCを超えた証明のため、その証明を認めるかどうかでもめるという事は
まずないと思うよ。
仮に将来、本質的にZFCを超えた証明が現れたとしても、その証明は最初から誰もが正しいと認めらるだろう。
、
むしろ逆に、ある程度時間がたってから数学基礎論者によって、その数学が実はZFCを超えたものであることが確認されると思う。