「ハイパー論理」 一覧

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

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

２０１９年１１月２８日　（測度の日）   「自然数の０とは何か？ 何であるべきか？」 これがÆだというのが集合論的世界観。 だったら、数学は集合論の矛盾から逃げれるはずもない。 これを、目先 ...

２０２１年５月２８日　（真偽の日）   ここの記事を有料化する直前の記事で、ＺＦ矛盾が回避できそうな匂いを漂わせておくと。 忽ち、大学の腰弁が、鬼の首を獲ったように騒ぎ出して。 まだ、ＺＦ矛 ...

２０１９年１２月２８日　（構成の日）   今回から、創世編に入る予定だったのですが。 まだ、ＺＦ矛盾の本質が判ってないプロが多い模様。 これぞ世界レベルの知力基準の現われです。 仕方ないので ...

２０２１年４月２８日　（σの日）   前回 ＺＦ（＃’）－（ω）＋￢（ω）・・・（１） ｖｓ メタ（ＺＦ（＃’）－（ω））・・・（２） を考え、（１）＋（２）で矛盾する時。 （１）は無矛盾な ...

２０２１年３月２８日　（Ｖ（ω）の日）   前回の証明で、 「ＺＦ（＃）ＳＥＴ（ｘ）　ｖｓ　“ＺＦ（＃）ＳＥＴ（ｘ）”」 について軽く触れておきました。 両者とも、メタ命題の表現と見ることも ...

２０２１年２月２８日　（関数の日）   前回、一番大事な概念  ∃α（∅（ＡＣ）∈Ｖ（α）） の表現が誤変換されていました。 これを発見したのは、新サイトでの課金設定の確認作業中。 元の原稿 ...

２０２１年１月２８日　（ＺＦ（｛ｘ｜｝）の日）   前回、∅（２）の定義における循環について触れておきました。 これに関する市場調査の結果。 猿は脳をスプーンで掬われてもキョトンとしているこ ...

ここからハイパー論理に。  今回から、 新猿の知性３６：表現編 に入ります。 目的は、集合論の表現可能性について論じること。  この場合の表現可能性とは、どういうレベルの意味か？   それは、採用する ...