「数学コラム Tree3の停止性の証明 第3章 m.b.s (2021/02/20)」
Tree3停止性の証明。第三章 m.b.s
今回はm.b.sを構築します。
m.b.sは全BSの中で
「最も安い」BSです。
この「最も安い」って性質が重要で、
のちにm.b.sからの派生BS等を色々こねくり回すと
「m.b.sよりさらに安いシークエンス」を見つける事ができて、
矛盾がみつかります。
それを根拠に「だから○○は有り得ない~」と
話を固めて進行してゆくのが
証明のコアとなります。
登場人物&用語ノート