20/05/12 12:31:32 gmSQkuCI.net
>>535
>URLだけなく、内容の文章もコピーするようにしています
>その方が、検索に役立つので
自分のPCの中で検索すれば、無駄に検索エンジンを使わずに済みますよ
>「ABCとかSzpiroが もし定理なら、苦労して証明したことが、簡単に出るぞ」
そういうことは数学では日常茶飯事なので、文句をいっても無駄でしょう
>再査読アウトのときだけが、IUTのプライオリティが無くなる
ゲーデルの不完全性定理の発表後、ポール・フィンスラーが
「自分のほうが先に同様の結果を出した」と主張したが
実際には肝心な証明可能性の定義がなされていないので、
不完全性定理の証明とはみなされなかった、という事例がある