「ハイパー論理」 一覧
有料コンテンツ
有料コンテンツ
カテゴリ一覧
2023/02/28
-ハイパー論理
2023年2月28日 (警告の日) 今回は予定通り、ZF({x|})が第一階述語論理ベースにならないことを論証します。 これは、すでに何回も繰り返して指摘した事実であり。 証明も終えてい ...
引き続きこのコンテンツを閲覧するには会員ログインが必要です。ログインページに移動まだ、会員登録お済みでない方は、新規会員登録へお進みください。
2022/12/28
-ハイパー論理
2022年12月28日 (神帝の日) 今は、ZFが第一階述語論理ベースにはならないことを論証している最中です。 その伏線として、SATを持ち出し。 SATの論理式は論理関数として把握でき ...
2022/11/28
-ハイパー論理
2022年11月28日 (螺旋の日) 猿が進化するためには。 論理関数に対する循環地獄を螺旋状に昇っていく必要があります。 そのための伏線準備として、今回は一般論を。 それが、 「存在 ...
2022/10/28
-ハイパー論理
2022年10月28日 (猿脳の日) SATの論理式は(命題)論理関数として把握できますが。 ZFの論理式を(述語)論理関数として把握できるのか? 今まで散々、検討してきたのですよ。 実 ...
2022/09/28
-ハイパー論理
2022年9月28日 (3種の日) 前回、STAP騒動と対比させて、 「FOPL騒動」 というものを提示しておきました。 これは、 「ZFが第一階述語論理ベース」 という主張の真偽に関 ...
2022/08/28
-ハイパー論理
2022年8月28日 (詐欺の日) 前回、伝家の宝刀として、決定問題Qを持ち出して。 これがあるから、ZFとZF({x|})は表現同値ではないと言いました。 この真意が把握できているのか ...
2022/07/28
-ハイパー論理
2022年7月28日 (馬化の日) ZFから置換公理を除いた公理体系を、私は、 「ZF(*)」 と表示してきたわけですが。 従来、数学のかなりの部分はZF(*)で展開できると考えられてき ...
2022/06/28
-ハイパー論理
2022年6月28日 (原罪の日) 冪集合の懐疑とは 「具体的な対象を指定できるのか?」 という懐疑ですが。 この懐疑の意味が深いのよ。 「℘(X)={x|x⊂X}は曖昧じゃないの?」 ...
2022/05/28
-ハイパー論理
2022年5月28日 (冪の日) 3月の記事で、ωの定義と無限公理の関係について述べておきましたが。 猿は、あの部分を見て議論の流れというか、文脈を誤解したはず。 「無限公理は無数の無限 ...
Copyright© International Intelligent Information Inc. 山口人生 I.I.I , 2023 All Rights Reserved Powered by STINGER.