>>51 追加
>数学における存在とは？

スレ主です
追加です

１．IUTも同じです
２．望月先生が独自構想で、いろいろ独自の新規な数学概念を定義した、なんとか劇場とかね。関西なら「おまえ、ヨシモトへ行け！」レベルです
３．しかし、数学では、新たな概念で「IUTって、どうよ？」は、IUTでどんどん推論を進めて、何が言えるかを見るのが普通なのです。従来の数学概念とどう繋がるのかも見るべし
４．でも、IUTが新規すぎて、なかなか従来の数学概念と繋がりが つかないのですｗ
５．そうなると、IUTの諸概念が、従来の数学概念との関係で、「integrity どうよ？」、「consistent どうよ？」の議論の手がかりが、なかなｋつかめない。ここらが、今年の課題と思います
　（従来の数学概念と、ＩＵＴの関係をつけていくってこと）

IUTがすぐ矛盾を生じて”アウト！”なら話は早いが
天才ショルツェ氏も、単純化しないと、議論できなかったみたいｗ
ショルツェ氏の単純化した議論は、厳密な数学の議論から外れています

2022年の課題と思います