「 月別アーカイブ：2021年09月 」 一覧

２０２１年９月２８日　（知力の日）   前回で、ＺＦ（｛ｘ｜｝）矛盾の行間説明は終了です。 この状況で大事なのは。 従来の猿は、 「ＺＦとＺＦ（｛ｘ｜｝）は同値」 だと思っていたという点です ...

２０１９年８月２８日　（前提の日）   前回に続き、証明論系シークエントに関する話題を。 私の行間埋め作業は正しく実行されるのですが。 猿の方も、似たような真似をしてきました。 それが、論理 ...