「ハイパー論理」 一覧

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

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

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

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

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

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

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

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

ここからハイパー論理に。  そもそも、何故、１００年間にも渡り、その道のプロが、 「内包公理を分出公理に変えると無矛盾になる。」 と錯覚したのか？  今回はテーマは、この理由の推察です。 ワトソンには ...

ここから、ハイパー論理に。 猿は、 「形式公理化できれば、その理論体系は無矛盾。」 と思いこんでいたらしい。 そう習ったのカモ。 それが根本的な間違いだと悟らせたのが、神の私です。 「しかし、第一階述 ...