「 投稿者アーカイブ:jinsei_iii 」 一覧
-
2020年5月28日 (イロハの日)
2020/05/28 -ハイパー論理
ここから、ハイパー論理に 前回の弱AC関連の話題として登場した ZF外で、ZF+弱AC内の新命題(論理式) (∃x)ψ(x)・・・(1) ですが。 今更、 「そんなものが必ずあるという保証は?」 な ...
-
2020年4月28日 (セマンティクスの日)
2020/04/28 -ハイパー論理
ここからハイパー論理に。 ここまで来ても、まだ、ZFの矛盾を認めたくない猿がいるカモ。 だから、コロナ菌が暴れているとは思わないでしょうけど。 それでも、タイミング的には興味深いものがある。 ちなみに ...
-
2020年3月28日 (絶対の日)
2020/03/28 -ハイパー論理
ここからハイパー論理に。 最初に、前回の宿題の解答から。 ZF+¬ACで登場する新たな空集合を ∅(¬AC)={A|∀z∈X∃t(z∩A={t}}・・・(1) と設定したわけですが。 一つだけ気にな ...
-
2020年2月28日 (自動の日)
2020/02/28 -ハイパー論理
ここから、ハイパー論理に。 ZFに対する新矛盾を100年ぶりに発見したのが神の私です。 その具体例が∅のパラドックスでした。 というわけで、新参者も多いでしょうし。 復習を兼ねて、∅パラドックスの再 ...
-
2020年1月28日 (状況の日)
2020/01/28 -ハイパー論理
ここからハイパー論理に。 予告通り、今回から 「新猿の知性35:創世編」 に入ります。 まず最初に、敵の妄想を潰すことから入ります。 認識症患者は、同じ真理を何度聞いても、1カ月くらい経過すると、 ...