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

no image

ハイパー論理

2020年12月28日 ({x|φ(x)}の日)

2020/12/28   -ハイパー論理

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

no image

ハイパー論理

2020年11月28日 (分出の日)

2020/11/28   -ハイパー論理

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

no image

ハイパー論理

2020年10月28日 (特権の日)

2020/10/28   -ハイパー論理

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

no image

ハイパー論理

2020年9月28日 (群論の日)

2020/09/28   -ハイパー論理

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

no image

ハイパー論理

2020年8月28日 (MMTの日)

2020/08/28   -ハイパー論理

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

no image

ハイパー論理

2020年7月28日 (変数の日)

2020/07/28   -ハイパー論理

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

no image

ハイパー論理

2020年6月28日 (ラベルの日)

2020/06/28   -ハイパー論理

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

no image

ハイパー論理

2020年5月28日 (イロハの日)

2020/05/28   -ハイパー論理

ここから、ハイパー論理に  前回の弱AC関連の話題として登場した ZF外で、ZF+弱AC内の新命題(論理式) (∃x)ψ(x)・・・(1) ですが。 今更、 「そんなものが必ずあるという保証は?」 な ...

no image

ハイパー論理

2020年4月28日 (セマンティクスの日)

2020/04/28   -ハイパー論理

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

no image

ハイパー論理

2020年3月28日 (絶対の日)

2020/03/28   -ハイパー論理

ここからハイパー論理に。  最初に、前回の宿題の解答から。 ZF+¬ACで登場する新たな空集合を ∅(¬AC)={A|∀z∈X∃t(z∩A={t}}・・・(1) と設定したわけですが。 一つだけ気にな ...

Copyright© International Intelligent Information Inc. 山口人生 I.I.I , 2024 All Rights Reserved Powered by STINGER.