20/04/30 15:20:46 pQUyGC+R.net
>>317
おっしゃる通りで
余談だが、
究極的には、数学の「正しさ」は自分で確認するべきであって、
「誰誰が言っていたから正しい」というのはただの宗教に過ぎない
もちろん、すべての命題の証明をフォローするのは不可能なので、ある程度は正しいと信じるしかないけどね
変じゃね?と思ったときに確認できるのが数学の良いところで、
IUTに関して言えば、今まさに有名な数学者が「変じゃね?」と言っているわけなんだよね
PRIMSがこれを無視したことは大きな問題だと思う