ハイパー論理　※有料会員限定コンテンツ

２０２４年１０月２８日　（空の日）   ＺＦを代表見本役としてtermの重要性を論じてきましたが。 少し、違和感を感じる猿がいたはず。 どういう箇所かというと。 ＺＦはtermをハッキリとは ...

２０２４年９月２８日　（再帰の日）   前回の具体例で、公理体系の重要性が認識でき始めたでしょう。 己の理論なるものが公理体系化可能と盲目的に信じて。 その可能性を前提に証明作業を実施したと ...

２０２４年８月２８日　（紫式の日）   前回の最後を、御神本でも挙げた、昔のテレビドラマ 「スタートレック」 での有名な宇宙人の決め台詞で締めておきましたが。 Ｘ系の隠喩皮肉を交えておいたの ...

２０２４年７月２８日　（黙示の日）   今回から編を改めて、 「新猿の知性４０：理論編」 に入ります。 ここの証明文学が教会（境界）への手紙だと悟らせる編です。 つまりヨハネの黙示録の実現で ...

２０２４年６月２８日　（経路の日）   前回のハイパー選択原理を見ても。 その御利益というか、深層真理が理解できない猿が多い模様。 無理もないな、数式にドップリ浸かっていると。 数式使っただ ...

２０２４年５月２８日　（意図の日）   約束通り、自由測度の簡単な具体例から。 例えば、自然数の自由選択の結果、生成される自由集合 ｉ１、ｉ２、ｉ３、・・・ に際し、結果として区間 （０，１ ...

２０２４年４月２８日　（解析の日）   前回 「有限　ｖｓ　無限」 問題に対し最後の審判をしておきました。 第一階述語論理レベルで集合論の無限公理なんか持ち出す。 その基本思想が間違い。 だ ...

２０２４年３月２８日　（決着の日）   今までのまとめとして、termの 「有限　ｖｓ　無限」 の課題に決着を付けておきましょうか。 （∞）関連の議論を見て分かるように。 再帰性の観点からt ...

２０２４年２月２８日　（潜在の日）    個体定数を無限個許容する場合。 大きく分けて、二つのレベルに分かれます。 一方は、潜在無限として導入する場合ですが。 従来は、潜在無限なんてゲテモノ ...

２０２４年１月２８日　（近似の日）   前回の記事を見た後で、 「今までも、自由集合なんか暗黙知として採用していた。」 なんて言い出す馬化が多くいる模様。 ホント、普遍病が膏肓に入ったらしい ...

２０２３年１２月２８日　（有限の日）   形式公理体系におけるシェーマを扱う際。 枠外自由集合の視点から見たのは、私が初めてですよ。 だって、自由集合という概念自体が私のオリジナルなんだから ...

２０２３年１１月２８日　（Δ（ＺＦ）の日）   自由性の観点から、公理系のシェーマは非常に興味ある対象ですが。 前回の議論の段階で大事な論点があります。 シェーマでの（ψ）の候補として、 「 ...

２０２３年１０月２８日　（シェーマの日）   一般に形式公理体系Ｔという場合。 公理候補として無限個の公理を許可します。 この場合の無限の意味、レベルは？ だって、公理として提示できるのは有 ...

２０２３年９月２８日　（トンデモの日）   前回で、淵野を代表見本役として 「既存の有名大学教授レベルの知力が、どの程度なのか？」 を分からせておきました。 言っておきますが、東大教授なんか ...

２０２３年８月２８日　（連鎖の日）   前回で淵野の間違いが把握できたとして。 面白い素材なので、更に料理しておきましょうか。 この為、前回のＺＦ＋（∞）を再度、取り上げます。 まず、この段 ...

２０２３年７月２８日  （ＡＦＡの日）     今回は、予告通り、淵野の間違いを指摘します。 その手段として、term記号の有限性を顕示する目的で。 個体定数 ｃ 一個と１変数関数 ...

２０２３年６月２８日　（記号の日）   今回からは淵野の間違いをハッキリさせていきます。 淵野は可算無限個の個体定数を導入していますが。 この場合、それが、どのレベルの集合概念なのか不明です ...

２０２３年５月２８日　（可算の日）   今回は、予定通り、第一階述語論理に対するWikipediaの記事の間違いを指摘します。 具体的には、 「term候補として無限個の個体定数を許容するか ...

２０２３年４月２８日　（恐怖の日）   現在はＺＦに対するＦＯＰＬ詐欺の話題を続けていますが。 前回の続編は次回にするということで。 今回は、無限の観点からバイパスを通しておきます。 集合論 ...

２０２３年３月２８日　（個体の日）   今回は、３月１５日の新着情報の続報です。 結論を述べれば。 「集合論は矛盾する？！」 の解説で取り上げたＺＦ矛盾証明モドキが間違いなのは確かです。 し ...

２０２３年２月２８日　（警告の日）   今回は予定通り、ＺＦ（｛ｘ｜｝）が第一階述語論理ベースにならないことを論証します。 これは、すでに何回も繰り返して指摘した事実であり。 証明も終えてい ...

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

２０２２年１２月２８日　（神帝の日）   今は、ＺＦが第一階述語論理ベースにはならないことを論証している最中です。 その伏線として、ＳＡＴを持ち出し。 ＳＡＴの論理式は論理関数として把握でき ...

２０２２年１１月２８日　（螺旋の日）   猿が進化するためには。 論理関数に対する循環地獄を螺旋状に昇っていく必要があります。 そのための伏線準備として、今回は一般論を。 それが、 「存在　 ...

２０２２年１０月２８日　（猿脳の日）   ＳＡＴの論理式は（命題）論理関数として把握できますが。 ＺＦの論理式を（述語）論理関数として把握できるのか？ 今まで散々、検討してきたのですよ。 実 ...

２０２２年９月２８日　（３種の日）　   前回、ＳＴＡＰ騒動と対比させて、 「ＦＯＰＬ騒動」 というものを提示しておきました。 これは、 「ＺＦが第一階述語論理ベース」 という主張の真偽に関 ...

２０２２年８月２８日　（詐欺の日）   前回、伝家の宝刀として、決定問題Ｑを持ち出して。 これがあるから、ＺＦとＺＦ（｛ｘ｜｝）は表現同値ではないと言いました。 この真意が把握できているのか ...

２０２２年７月２８日　（馬化の日）   ＺＦから置換公理を除いた公理体系を、私は、 「ＺＦ（＊）」 と表示してきたわけですが。 従来、数学のかなりの部分はＺＦ（＊）で展開できると考えられてき ...

２０２２年６月２８日　（原罪の日）   冪集合の懐疑とは 「具体的な対象を指定できるのか？」 という懐疑ですが。 この懐疑の意味が深いのよ。 「℘（Ｘ）＝｛ｘ｜ｘ⊂Ｘ｝は曖昧じゃないの？」 ...

２０２２年５月２８日　（冪の日）   ３月の記事で、ωの定義と無限公理の関係について述べておきましたが。 猿は、あの部分を見て議論の流れというか、文脈を誤解したはず。 「無限公理は無数の無限 ...

２０２２年４月２８日　（ｓｉｎｇｕｌａｒの日）   今回は前回からの続きとして。 ｈａｎ公理体系をｓｉｎｇｕｌａｒ公理体系の観点から見ていきます。 ＺＦでは、無限公理で｛｝を採用していますね ...

２０２２年３月２８日　（ｐａｒｔの日）   今回はｐａｒｔ公理体系の観点から攻めていきます。 個体定数記号が出現しません、ＺＦでは。 だから、ＺＦのｔｅｒｍは定義できない運命。 エルブラン宇 ...

２０２２年２月２８日　（具体の日）   キョトン猿の場合、型に嵌った世界観で生きている猿なので。 新概念を提示しても、その有難味が分からない脳構造なのですよ。 何故か？ 連中、 「ｈａｎ公理 ...

２０１９年３月２８日　（実数の日）   前回までで、猿の惑星を制覇しました。 この星で、私が征服したい都市は残ってない状態。 アレキサンダーは、中国を征服せず引き返したのですが。 私は地球全 ...

２０２２年１月２８日　（拡張の日）   前回、 「半公理体系　ｖｓ　正則公理体系　ｖｓ　非正則公理体系　ｖｓ　特異公理体系」・・・（Ｔ） という新概念を定義した段階では。 猿は、些細な違いを ...

２０１９年４月２８日　（合体の日）   前回から、証明文学は第四ステージに入っています。 まず、その冒頭を飾るのがＹＪ編で。 今回は前回の続編になります。 集合論＋Ｔ（Ｘ）が数学証明の作業場 ...

２０２１年１２月２８日　（ｈａｎの日）   置換公理は性質φ（ｘ）を用いたシェーマです。 そして、内包公理の矛盾により。 φ（ｘ）によるシェーマ性がＺＦ矛盾に関与していることが、薄々、判って ...

２０１９年５月２８日　（ＡＤの日）   「集合論の宇宙はΔではない。」 これが集合論の基本原則ですが。 このレベルで判って無い猿が多すぎる。 ＺＦの宇宙はΔだと錯覚してるのよ。 その所為で、 ...

２０２１年１１月２８日　（微妙な日）   ＺＦ矛盾の原因として、今までは 「⏀のパラドックス」 に着目した議論をしてきましたが。 「原因はそれだけか？」 とも懐疑し続けました。 そろそろ、よ ...

２０１９年６月２８日　（経済の日）   未だに、 「ＺＦ矛盾の証明ができてない。」 と思っているプロも多い模様。 ホント、夢想を刷り込まれた鳥猿の惨めさよ。 この導入部から、本論に入ります。 ...

２０２１年１０月２８日　（言の日）   今まで、数学の証明全体を見直す必要があることを指摘してきました。 これは、ＺＦ（｛ｘ｜｝）が矛盾していることからの論理的帰結なんですが。 鈍い猿は、こ ...

２０１９年７月２８日　（ＬＫの日）   数学者は集合論や論理を自分達の領域の必須分野だと思ってなかった。 だから、勉強できてない。 これじゃ、証明の何たるかが判るはずもない。 まして、況や、 ...

２０２１年９月２８日　（知力の日）   前回で、ＺＦ（｛ｘ｜｝）矛盾の行間説明は終了です。 この状況で大事なのは。 従来の猿は、 「ＺＦとＺＦ（｛ｘ｜｝）は同値」 だと思っていたという点です ...

２０１９年８月２８日　（前提の日）   前回に続き、証明論系シークエントに関する話題を。 私の行間埋め作業は正しく実行されるのですが。 猿の方も、似たような真似をしてきました。 それが、論理 ...

２０２１年８月２８日　（メタアプリの日）   μ’（ｘ）の関数性を用いて、ＺＦ（｛ｘ｜｝）の論理的矛盾を証明したわけですが。 単なる関数性だけからは ⏀（２）＝⏀（ω）　⇒　μ’（⏀（２）） ...

２０１９年９月２８日　（抽象の日）   前回で、第一階述語論理ベース理論Ｔにおいても、土台の集合論は無視できないことが判ったはず。 ｃｕｔで消去できないのよ、ＺＦ（！）は矛盾してるんだから。 ...

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

２０１９年１０月２８日　（バスの日）   限量子の課題は、ＺＦが矛盾することから生起した問題です。 だったら、私が無矛盾にＹＪを構築すると、限量子問題は杞憂になるか？ フッ、そう単純じゃない ...

２０２１年６月２８日　（├ の日）   脳タリン猿は、まだ抵抗していることが市場調査の結果判明しました。 理由は簡単で、私の仕掛けた罠にかかったからです。 ＺＦ矛盾の一番の格真利益が、 「∅ ...

２０１９年１１月２８日　（測度の日）   「自然数の０とは何か？ 何であるべきか？」 これがÆだというのが集合論的世界観。 だったら、数学は集合論の矛盾から逃げれるはずもない。 これを、目先 ...

２０２１年５月２８日　（真偽の日）   ここの記事を有料化する直前の記事で、ＺＦ矛盾が回避できそうな匂いを漂わせておくと。 忽ち、大学の腰弁が、鬼の首を獲ったように騒ぎ出して。 まだ、ＺＦ矛 ...

２０１９年１２月２８日　（構成の日）   今回から、創世編に入る予定だったのですが。 まだ、ＺＦ矛盾の本質が判ってないプロが多い模様。 これぞ世界レベルの知力基準の現われです。 仕方ないので ...

２０２１年４月２８日　（σの日）   前回 ＺＦ（＃’）－（ω）＋￢（ω）・・・（１） ｖｓ メタ（ＺＦ（＃’）－（ω））・・・（２） を考え、（１）＋（２）で矛盾する時。 （１）は無矛盾な ...

２０２１年３月２８日　（Ｖ（ω）の日）   前回の証明で、 「ＺＦ（＃）ＳＥＴ（ｘ）　ｖｓ　“ＺＦ（＃）ＳＥＴ（ｘ）”」 について軽く触れておきました。 両者とも、メタ命題の表現と見ることも ...

２０２１年２月２８日　（関数の日）   前回、一番大事な概念  ∃α（∅（ＡＣ）∈Ｖ（α）） の表現が誤変換されていました。 これを発見したのは、新サイトでの課金設定の確認作業中。 元の原稿 ...

２０２１年１月２８日　（ＺＦ（｛ｘ｜｝）の日）   前回、∅（２）の定義における循環について触れておきました。 これに関する市場調査の結果。 猿は脳をスプーンで掬われてもキョトンとしているこ ...

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

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

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

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

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

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

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

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

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

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

ここから、ハイパー論理に。 ＺＦに対する新矛盾を１００年ぶりに発見したのが神の私です。 その具体例が∅のパラドックスでした。  というわけで、新参者も多いでしょうし。 復習を兼ねて、∅パラドックスの再 ...

ここからハイパー論理に。 予告通り、今回から 「新猿の知性３５：創世編」 に入ります。  まず最初に、敵の妄想を潰すことから入ります。  認識症患者は、同じ真理を何度聞いても、１カ月くらい経過すると、 ...