『数理論理学: 合理的エ-ジェントへの応用に向けて』のわからないところを説明します。まずこの本の定義を引用していきます。用語と記法を一部書き直しています。 定義4.6 (単一化，単一化代入) 以上の整数 に対し、各 を項の集合とする。この集合のすべての…

エレファントな群とリー代数(10) - エレファント・ビジュアライザー調査記録で説明した単一化アルゴリズムがわかりにくいので書き直します。『数理論理学: 合理的エ-ジェントへの応用に向けて』の「定理 4.1 (単一化定理)」の証明について、(この本には書か…