「ハイパー論理」 一覧

no image

ハイパー論理

2019年3月28日 (ハイパー論理)

2022/02/15   -ハイパー論理

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

no image

ハイパー論理

2022年1月28日

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

2022年1月28日 (拡張の日)   前回、 「半公理体系 vs 正則公理体系 vs 非正則公理体系 vs 特異公理体系」・・・(T) という新概念を定義した段階では。 猿は、些細な違いを ...

no image

ハイパー論理

2019年4月28日 (ハイパー論理)

2022/01/15   -ハイパー論理

2019年4月28日 (合体の日)   前回から、証明文学は第四ステージに入っています。 まず、その冒頭を飾るのがYJ編で。 今回は前回の続編になります。 集合論+T(X)が数学証明の作業場 ...

no image

ハイパー論理

2021年12月28日

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

2021年12月28日 (hanの日)   置換公理は性質φ(x)を用いたシェーマです。 そして、内包公理の矛盾により。 φ(x)によるシェーマ性がZF矛盾に関与していることが、薄々、判って ...

no image

ハイパー論理

2019年5月28日 (ADの日)

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

2019年5月28日 (ADの日)   「集合論の宇宙はΔではない。」 これが集合論の基本原則ですが。 このレベルで判って無い猿が多すぎる。 ZFの宇宙はΔだと錯覚してるのよ。 その所為で、 ...

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|})は同値」 だと思っていたという点です ...

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