「ハイパー論理」 一覧

2019年12月28日 (構成の日)

今回から、創世編に入る予定だったのですが。
まだ、ZF矛盾の本質が判ってないプロが多い模様。
これぞ世界レベルの知力基準の現われです。
仕方ないので、行間補充をしておきます。
今回のターゲットはV=LのL。
Lの構成可能性とは、如何なる意味なのか。
再点検をしておきます。

ZFのモデル全ての共通性質を備えているのがZF公理系。
そして、ZFのモデルは、全て、プロパークラスを含みません。
universeの要素は集合のみ。
この宇宙で、数学の様々な命題を扱うわけです。
ZFの土台の上に、各種理論が乗るということ。
ソフトウェアの比喩で言えば、公理的集合論というのは、OS。
それに対し、通常の数学分野は、アプリ。
この比喩を使って真意を解説すると。 

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

カテゴリ一覧

no image

ハイパー論理

2019年12月28日 (構成の日)

2021/05/15   -ハイパー論理

2019年12月28日 (構成の日) 今回から、創世編に入る予定だったのですが。 まだ、ZF矛盾の本質が判ってないプロが多い模様。 これぞ世界レベルの知力基準の現われです。 仕方ないので、行間補充をし ...

no image

ハイパー論理

2021年4月28日 (σの日)

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

2021年4月28日 (σの日)   前回 ZF(#’)-(ω)+¬(ω)・・・(1) vs メタ(ZF(#’)-(ω))・・・(2) を考え、(1)+(2)で矛盾する時。 (1)は無矛盾な ...

no image

ハイパー論理

2021年3月28日(V(ω)の日)

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

2021年3月28日 (V(ω)の日)   前回の証明で、 「ZF(#)SET(x) vs “ZF(#)SET(x)”」 について軽く触れておきました。 両者とも、メタ命題の表現と見ることも ...

no image

ハイパー論理

2021年2月28日 (関数の日)

2021/02/28   -ハイパー論理

前回、一番大事な概念  ∃α(∅(AC)∈V(α)) の表現が誤変換されていました。 これを発見したのは、新サイトでの課金設定の確認作業中。 元の原稿ではマトモに表示されているのに。 ブラウザ上で見た ...

no image

ハイパー論理

2021年1月28日 (ZF({x|})の日)

2021/01/28   -ハイパー論理

ここから、ハイパー論理に。 前回、∅(2)の定義における循環について触れておきました。 これに関する市場調査の結果。 猿は脳をスプーンで掬われてもキョトンとしていることが判明。 剰え、私が素人だとまで ...

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) ...

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