「Tree3の停止性証明 第11章 Sの最長BSは有限である （2021/05/01)」
Tree3の停止性証明 第11章 Sの最長BSは有限である
長い旅でしたが。我々は
「Sの最長シークエンスは有限であるか？ → NO → 矛盾が発生する」
と言う事実をこの目で確認したことにより、
「Sの最長シークエンスは有限であるか？ → YES」
と言う重要な手がかりを得ることができました。
いよいよ。我々は最終決戦に入ります。
