- Inter-universal geometry と ABC予想 36
286 ：１３２人目の素数さん[sage]：2019/01/12(土) 09:45:41.26 ID:fAo6wEcq - >>282
やっぱり分かってないな。
IUTが直接そういうものになるかどうかと関係なく、
きみが言ってるアイデアとやらが意味論に関するものなら、
ABC予想に直接言及してはいけないんだよ。
ここの構造が理解できてない。
|
- Inter-universal geometry と ABC予想 36
287 ：１３２人目の素数さん[sage]：2019/01/12(土) 09:47:48.33 ID:fAo6wEcq - しろうとが基礎論に言及するときの典型的な誤りとして、
基礎論をいじれば証明の幅が広がるだろうというのがある。
これは数学基礎論がなんであるかを理解してないから生じる誤り。
|
- Inter-universal geometry と ABC予想 36
296 ：１３２人目の素数さん[sage]：2019/01/12(土) 19:51:12.15 ID:fAo6wEcq - >>289
ありえると拡張されるは違うでしょ。
基礎論の更新をするということはこれまでのものは壊れる可能性があるのだから、
基礎論に持っていくのはじつは遠回りなんだよ。
新しい圏論や集合論の内部でもabc予想は成立し、かつ、
それが従前のabc予想と同一であることを先に証明しないといけないんだからね。
基礎論の話をしているのにabc予想がそのまま使えるということを
証明なしに話している時点で基礎論の素養がないというのはすぐに分かる。
|