2022年12月28日

更新日:

2022年12月28日 (神帝の日)

 

今は、ZFが第一階述語論理ベースにはならないことを論証している最中です。
その伏線として、SATを持ち出し。
SATの論理式は論理関数として把握できるという点を指摘し。
「同じことが、{x|φ(x)}でも言えるのでは?」
と懐疑を提示しました。
こうなると、
「ZF({x|})自体が第一階述語論理ベースになる可能性が残る。」
という筋書き。  

 

これだと、ZF({x|})は矛盾するとは言えても。
FOPL詐欺とまでは言えませんね。
では、真理は、どうなのか?
ZF({x|})は第一階述語論理ベースにはなりません。
この点は、すでに論証済みですが。
このサイトの記事を読んでなかった猿も多い模様で。
その理由が把握できないらしい。
風説の流布では、真実が正しく伝わらないという見本ですね。 

 

これこそが、私の成果を正式に認知しない魔王達の罪。
学会のチンケな沽券を守るためですが。
こうやって、諸悪の根源、M教授共は人類の発展を阻害しているのです。
だから、神帝の私が焚書坑儒しているの。
悪魔達は私を大学から追放したのですが。
これを、
「天国からの追放」
と思っているキチガイ連中ですよ。
フッ、サラリーマン風情が何をホザクか。 

 

ZF矛盾の地獄に棲息している脳タリンの悪魔猿の分際で。
一人前の気分になって、何を妄想しているのやら。
私を追放したのではなく、私と袂を分かった結果として。
「歴史上、自分達が地獄に叩き落された。」
と正しく認識できてないのよ。
だって、私こそがZF矛盾を証明し終えて。
新量子論を提示しつつある宇宙の創造主ですよ。
その私と敵対する腰弁連中は。
昔は天使だったのに、堕落して魔王になり果てたの。
このサイトでは、その証明をしているわけです。 

 

というわけで、ZFのFOPL詐欺ですが。
まずは、
「ZF({x|})が第一階述語論理ベースにはならない」・・・(1)
と論証します。
すでに、以前の記事を読んでいた猿もチラホラいるでしょう。
そういう猿の場合、何を今更、繰り返すのかと思うカモ。
フッ、それが青いのよ。
以前の(1)証明は正しいのですが。
行間が抜けていると感じる猿脳も多いはず。
知力依存ですね。

 

以下、この行間を埋める作業をしていきます。
それに伴い、史上初の新たな知見も登場します。
だから、この復讐の復習は価値あるのです。
これが、どういう意味なのかは、今から徐々に判明していきます。
この導入部から、本論に入ります。

 

前回の伏線準備の下、今回はSATの論点に戻ります。
論理関数という概念をキチンと認識させるため改めて聞きます。
「SAT理論は第一階述語論理ベースではないのか?」
こう改めて聞かれると、キチンと解答できるかな?
だって、反射神経猿でも、SAT理論を形式体系化すると
「内部で論理(記号)がゴチャマゼになるのでは?」
と分かるでしょう。
つまり、こういう懐疑を提示できる能力があるかどうかです。
勿論、解答できなければ、ただの、哲学ですが。

 

これに対する解答を出すには、少し準備が必要です。
まずは、これから始めます。
SATの場合、入力は命題論理式ですね。
この場合、命題(論理)関数とは、どういう意味か?
一方、Δ理論の場合、重層構造ですが。
せめて重層構造じゃなければ
「述語(論理)関数」
という概念はOK宇宙なのか?
少し検討しておくと。  

引き続きこのコンテンツを閲覧するには会員ログインが必要です。ログインページに移動
未だ会員登録がお済みでない方は新規会員登録へお進みください。

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