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

no image

ハイパー論理

2023年12月28日

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

2023年12月28日 (有限の日)   形式公理体系におけるシェーマを扱う際。 枠外自由集合の視点から見たのは、私が初めてですよ。 だって、自由集合という概念自体が私のオリジナルなんだから ...

no image

ハイパー論理

2023年11月28日

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

2023年11月28日 (Δ(ZF)の日)   自由性の観点から、公理系のシェーマは非常に興味ある対象ですが。 前回の議論の段階で大事な論点があります。 シェーマでの(ψ)の候補として、 「 ...

no image

ハイパー論理

2023年10月28日

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

2023年10月28日 (シェーマの日)   一般に形式公理体系Tという場合。 公理候補として無限個の公理を許可します。 この場合の無限の意味、レベルは? だって、公理として提示できるのは有 ...

no image

ハイパー論理

2023年9月28日

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

2023年9月28日 (トンデモの日)   前回で、淵野を代表見本役として 「既存の有名大学教授レベルの知力が、どの程度なのか?」 を分からせておきました。 言っておきますが、東大教授なんか ...

no image

ハイパー論理

2023年8月28日

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

2023年8月28日 (連鎖の日)   前回で淵野の間違いが把握できたとして。 面白い素材なので、更に料理しておきましょうか。 この為、前回のZF+(∞)を再度、取り上げます。 まず、この段 ...

no image

ハイパー論理

2023年7月28日

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

2023年7月28日  (AFAの日)     今回は、予告通り、淵野の間違いを指摘します。 その手段として、term記号の有限性を顕示する目的で。 個体定数 c 一個と1変数関数 ...

no image

ハイパー論理

2023年6月28日

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

2023年6月28日 (記号の日)   今回からは淵野の間違いをハッキリさせていきます。 淵野は可算無限個の個体定数を導入していますが。 この場合、それが、どのレベルの集合概念なのか不明です ...

no image

ハイパー論理

2023年5月28日

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

2023年5月28日 (可算の日)   今回は、予定通り、第一階述語論理に対するWikipediaの記事の間違いを指摘します。 具体的には、 「term候補として無限個の個体定数を許容するか ...

no image

ハイパー論理

2023年4月28日

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

2023年4月28日 (恐怖の日)   現在はZFに対するFOPL詐欺の話題を続けていますが。 前回の続編は次回にするということで。 今回は、無限の観点からバイパスを通しておきます。 集合論 ...

no image

ハイパー論理

2023年3月28日

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

2023年3月28日 (個体の日)   今回は、3月15日の新着情報の続報です。 結論を述べれば。 「集合論は矛盾する?!」 の解説で取り上げたZF矛盾証明モドキが間違いなのは確かです。 し ...

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