「 年別アーカイブ：2020年 」 一覧

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

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

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

ここからハイパー論理に。 純粋に抽象化された世界では、無矛盾性は保持できます。 例えば、群論は無矛盾の可能性がありますね。 しかし、矛盾している可能性もある。 この二律背反は？ ここまで来ると、何故か ...

ここからハイパー論理に。  一般に、性質ψ（ｘ）があって。 そのままだとプロパークラスになる可能性があるから。 ＺＦでは普遍的に大事を取って、抑え集合Ａで相対化したの。 しかし、ここでは、元のψ（ｘ） ...

ここからハイパー論理に。 前回は、相対的Ｖなんていう新概念を仰々しく定義しておきましたが。 結果は、今まで、すでに指摘してきたことの焼き直しで。 大したことは無いと思った猿も多いカモ。 そもそも、ラベ ...

ここからハイパー論理に。    今回は、新集合論としてのＹＪ構築に向けた準備として。 もう少し、∅の基本思想について蘊蓄を傾けておきましょうか。 ∅にラベルを付与して、）∅（ＺＦ）などと階層表現すれば ...

ここから、ハイパー論理に  前回の弱ＡＣ関連の話題として登場した ＺＦ外で、ＺＦ＋弱ＡＣ内の新命題（論理式） （∃ｘ）ψ（ｘ）・・・（１） ですが。 今更、 「そんなものが必ずあるという保証は？」 な ...

ここからハイパー論理に。 ここまで来ても、まだ、ＺＦの矛盾を認めたくない猿がいるカモ。 だから、コロナ菌が暴れているとは思わないでしょうけど。 それでも、タイミング的には興味深いものがある。 ちなみに ...

ここからハイパー論理に。  最初に、前回の宿題の解答から。 ＺＦ＋￢ＡＣで登場する新たな空集合を ∅（￢ＡＣ）＝｛Ａ｜∀ｚ∈Ｘ∃ｔ（ｚ∩Ａ＝｛ｔ｝｝・・・（１） と設定したわけですが。 一つだけ気にな ...