「Tree3の停止性の証明 第6章 TのG整列U （2021/03/20)」
Tree3停止性の証明。第6章 TのG整列U
証明が後半に入りました。
第1～5章が必要な道具を集める
下準備フェーズだとしたら。
第6章～はそれらの道具を駆使して
岩を砕くフェーズです。
ここからはバチバチの殴り合いなので
それなりに難易度は上がります。
・・・・が。
Tree3の停止性証明自体はわりとプレーンです。
大学レベルで習うような群論～、代数学～、複素解析～、ルベーグ積分～、位相空間～、コンパクト性～、多様体～・・・とかの
高等な概念は一切必要なく。
中学・高校生の知識レベルでも
十分理解できる範疇だと思います。
ちょっと難しいですが、
一個一個のステップを
ゆっくり進んでゆきましょう。
登場人物＆用語ノート
