「Tree3の停止性の証明 まとめ2 （2023/12/23)」
Tree3の停止性の証明。まとめ2。
（前回。Tree3の停止性の証明 第5章からの続き）。
Tree3の停止性の証明 第06章。
Tree3の停止性の証明 第07章。
Tree3の停止性の証明 第7.5章。
Tree3の停止性の証明 第08章。
Tree3の停止性の証明 第09章。
Tree3の停止性の証明 第10章。
Tree3の停止性の証明 第11章。
まー。
結局、何やってるかと言うと。
要するに一度「BS(Bad Sequence)は存在する」と認めると、
間引き・歯抜けを使って
∞個のBSを量産できるようになる。
その潤沢すぎる在庫の中から、
色々なフィルターで濾過して
・"最小BS(m.b.s)"に矛盾するようなBSが存在する
つまり。そこへ至るまでの仮定に
間違いがあったのだと、導出しています。