「 投稿者アーカイブ:jinsei_iii 」 一覧

no image

ハイパー論理

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

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

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

no image

お知らせ

伝説の復刻版を公開いたします

2021/02/23   -お知らせ

3月より有料会員の皆様に、過去のハイパー論理を少しずつ公開いたします。 「プレミアム復刻版」ページにて掲載いたしますので、楽しみにお待ちください。

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

no image

ハイパー論理

2020年7月28日 (変数の日)

2020/07/28   -ハイパー論理

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

no image

ハイパー論理

2020年6月28日 (ラベルの日)

2020/06/28   -ハイパー論理

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

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