「 年別アーカイブ:2021年 」 一覧

no image

ハイパー論理

2019年7月28日 (LKの日)

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

2019年7月28日 (LKの日) 数学者は集合論や論理を自分達の領域の必須分野だと思ってなかった。 だから、勉強できてない。 これじゃ、証明の何たるかが判るはずもない。 まして、況や、矛盾の発見をや ...

no image

ハイパー論理

2021年9月28日

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

2021年9月28日 (知力の日) 前回で、ZF({x|})矛盾の行間説明は終了です。 この状況で大事なのは。 従来の猿は、 「ZFとZF({x|})は同値」 だと思っていたという点です。 ということ ...

no image

ハイパー論理

2019年8月28日 (前提の日)

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

2019年8月28日 (前提の日) 前回に続き、証明論系シークエントに関する話題を。 私の行間埋め作業は正しく実行されるのですが。 猿の方も、似たような真似をしてきました。 それが、論理推論におけるc ...

no image

ハイパー論理

2021年8月28日 (メタアプリの日)

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

μ’(x)の関数性を用いて、ZF({x|})の論理的矛盾を証明したわけですが。 単なる関数性だけからは ⏀(2)=⏀(ω) ⇒ μ’(⏀(2))=μ’(⏀(ω))・・・(関数) は導出できずに、内容依 ...

no image

ハイパー論理

2019年9月28日 (抽象の日)

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

2019年9月28日 (抽象の日) 前回で、第一階述語論理ベース理論Tにおいても、土台の集合論は無視できないことが判ったはず。 cutで消去できないのよ、ZF(!)は矛盾してるんだから。 その所為で、 ...

no image

ハイパー論理

2021年7月28日 (μ’の日)

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

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

no image

ハイパー論理

2019年10月28日 (バスの日)

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

2019年10月28日 (バスの日) 限量子の課題は、ZFが矛盾することから生起した問題です。 だったら、私が無矛盾にYJを構築すると、限量子問題は杞憂になるか? フッ、そう単純じゃないのよ、真理世界 ...

no image

ハイパー論理

2021年6月28日 (├ の日)

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

2021年6月28日 (├ の日) 脳タリン猿は、まだ抵抗していることが市場調査の結果判明しました。 理由は簡単で、私の仕掛けた罠にかかったからです。 ZF矛盾の一番の格真利益が、 「∅(2)=∅(ω ...

no image

ハイパー論理

2019年11月28日 (測度の日)

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

2019年11月28日 (測度の日) 「自然数の0とは何か? 何であるべきか?」 これがÆだというのが集合論的世界観。 だったら、数学は集合論の矛盾から逃げれるはずもない。 これを、目先の矛盾から逃れ ...

no image

ハイパー論理

2021年5月28日 (真偽の日)

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

2021年5月28日 (真偽の日) ここの記事を有料化する直前の記事で、ZF矛盾が回避できそうな匂いを漂わせておくと。 忽ち、大学の腰弁が、鬼の首を獲ったように騒ぎ出して。 まだ、ZF矛盾は確定してな ...

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