[記号論理学]McCuneの群のSingle Axiom について 田中一之先生の『数学基礎論序説』が裳華房より刊行された。数学基礎論序説: 数の体系への論理的アプローチ作者: 田中一之出版社/メーカー: 裳華房発売日: 2019/06/19メディア: 単行本この商品を含むブログを…

[記号論理学]Cut-elimination Theorem について その2 さて、小ネタ第二弾である。小ネタの割に温め過ぎて、えらく時間が経ってしまった。カット除去定理の証明の記述は複雑だが、結局は証明の書き換えのアルゴリズムなのであって、構成的なところがいいので…