数学基礎論・数理論理学　その14

数学基礎論・数理論理学　その14at MATH

数学基礎論・数理論理学　その14 - 暇つぶし2ch733:１３２人目の素数さん
14/04/14 20:28:28.51
>>732
> subformula propertyとかcut除去とかは式の複雑さが
> 単調に増加していくということだから
cut除去ではcut論理式の複雑さを減らしていくことで
cut除去プロセスの停止性を保証するのでは？？

次ページ

続きを表示

1を表示