0500132人目の素数さん垢版 | 大砲2019/11/29(金) 01:15:56.56ID:JZikqz01 >いわゆる不定性は単なる単遠アーベル化 の副作用で、計算上の技術的な問題だと 考えても良いでしょうね。 IUTTは ディオファントス幾何の不等式が 目的でしょ。 IUTは分裂も含め モノイド 群 HT、単遠アーベル 幾何などの色々な部品を類推から組み立て 群論的アルゴリズムのソフトを 装備した装置で不定性による不等式を導く、 不定性はIUTTの本質だろうね。 自然さより人工的に組み合わせた装置だが 全体の構造は安定健全だろうか