「数学コラム Tree3の停止性の証明 第2章 （2021/02/13)」
Tree3停止性の証明。第二章！
今回はBS
＝ BADシークエンス
＝ 無限シークエンス かつ ¬∃i,j: p[i]≦p[j] (i＜j)
を考察します。
まとめ：
BSが一つあれば、BSから要素を間引き・歯抜けしたシークエンスもまた
BSとなります。
この方法でいくらでも新しいBSを作れるし、その中には
矛盾を引き起こしかねない「不都合な」BSも存在します。
これがNash WilliamsによるMinimal Bad Sequence証明法のキーとなります。
登場人物＆用語ノート
