20/05/12 13:20:10 jIkDYE6o.net
レスありがとう(^^
>>536
>読んだ結果、これだけに圧縮できると思います
>「(Terence Tao先生の言い分は)IUT成立不成立とは、別の議論と思います」
>同意致しかねます
それはその通り
結論命題Q:”同意致しかねます”
P(Tao先生)→Q
に証明を付けました
堂々巡りにならぬように(^^;
>>537
>自分のPCの中で検索すれば、無駄に検索エンジンを使わずに済みますよ
win10なんだけど、付属のファイラーの検索機能がしょぼい
使えない。なんか良いのありますか?
それと、「前どこかに書いたのだが・・?」って場合もあって、
例えば >>531の Persiflage=Frank Calegari氏シカゴ大 これ >>155 にも書いたこと、キーワードを思い出して検索して見つけましたよ(^^;
>>「ABCとかSzpiroが もし定理なら、苦労して証明したことが、簡単に出るぞ」
>そういうことは数学では日常茶飯事なので、文句をいっても無駄でしょう
そうです。だから、ここで言っていることは、「IUT�