「 投稿者アーカイブ:webmaster@int2.info 」 一覧

no image

ハイパー論理

2021年11月28日

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

2021年11月28日 (微妙な日)   ZF矛盾の原因として、今までは 「⏀のパラドックス」 に着目した議論をしてきましたが。 「原因はそれだけか?」 とも懐疑し続けました。 そろそろ、よ ...

no image

ハイパー論理

2019年6月28日 (経済の日)

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

2019年6月28日 (経済の日)   未だに、 「ZF矛盾の証明ができてない。」 と思っているプロも多い模様。 ホント、夢想を刷り込まれた鳥猿の惨めさよ。 この導入部から、本論に入ります。 ...

no image

ハイパー論理

2021年10月28日

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

2021年10月28日 (言の日)   今まで、数学の証明全体を見直す必要があることを指摘してきました。 これは、ZF({x|})が矛盾していることからの論理的帰結なんですが。 鈍い猿は、こ ...

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日 (前提の日)   前回に続き、証明論系シークエントに関する話題を。 私の行間埋め作業は正しく実行されるのですが。 猿の方も、似たような真似をしてきました。 それが、論理 ...

no image

ハイパー論理

2021年8月28日 

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

2021年8月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を構築すると、限量子問題は杞憂になるか? フッ、そう単純じゃない ...

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