「ハイパー論理」 一覧

２０１９年６月２８日　（経済の日）   未だに、 「ＺＦ矛盾の証明ができてない。」 と思っているプロも多い模様。 ホント、夢想を刷り込まれた鳥猿の惨めさよ。 この導入部から、本論に入ります。 ...

２０２１年１０月２８日　（言の日）   今まで、数学の証明全体を見直す必要があることを指摘してきました。 これは、ＺＦ（｛ｘ｜｝）が矛盾していることからの論理的帰結なんですが。 鈍い猿は、こ ...

２０１９年７月２８日　（ＬＫの日）   数学者は集合論や論理を自分達の領域の必須分野だと思ってなかった。 だから、勉強できてない。 これじゃ、証明の何たるかが判るはずもない。 まして、況や、 ...

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

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

２０２１年８月２８日　（メタアプリの日）   μ’（ｘ）の関数性を用いて、ＺＦ（｛ｘ｜｝）の論理的矛盾を証明したわけですが。 単なる関数性だけからは ⏀（２）＝⏀（ω）　⇒　μ’（⏀（２）） ...

２０１９年９月２８日　（抽象の日）   前回で、第一階述語論理ベース理論Ｔにおいても、土台の集合論は無視できないことが判ったはず。 ｃｕｔで消去できないのよ、ＺＦ（！）は矛盾してるんだから。 ...

引き続きこのコンテンツを閲覧するには会員ログインが必要です。ログインページに移動まだ、会員登録お済みでない方は、新規会員登録へお進みください。

２０１９年１０月２８日　（バスの日）   限量子の課題は、ＺＦが矛盾することから生起した問題です。 だったら、私が無矛盾にＹＪを構築すると、限量子問題は杞憂になるか？ フッ、そう単純じゃない ...

２０２１年６月２８日　（├ の日）   脳タリン猿は、まだ抵抗していることが市場調査の結果判明しました。 理由は簡単で、私の仕掛けた罠にかかったからです。 ＺＦ矛盾の一番の格真利益が、 「∅ ...