「ハイパー論理」 一覧

２０２４年９月２８日　（再帰の日）   前回の具体例で、公理体系の重要性が認識でき始めたでしょう。 己の理論なるものが公理体系化可能と盲目的に信じて。 その可能性を前提に証明作業を実施したと ...

２０２４年８月２８日　（紫式の日）   前回の最後を、御神本でも挙げた、昔のテレビドラマ 「スタートレック」 での有名な宇宙人の決め台詞で締めておきましたが。 Ｘ系の隠喩皮肉を交えておいたの ...

２０２４年７月２８日　（黙示の日）   今回から編を改めて、 「新猿の知性４０：理論編」 に入ります。 ここの証明文学が教会（境界）への手紙だと悟らせる編です。 つまりヨハネの黙示録の実現で ...

２０２４年６月２８日　（経路の日）   前回のハイパー選択原理を見ても。 その御利益というか、深層真理が理解できない猿が多い模様。 無理もないな、数式にドップリ浸かっていると。 数式使っただ ...

２０２４年５月２８日　（意図の日）   約束通り、自由測度の簡単な具体例から。 例えば、自然数の自由選択の結果、生成される自由集合 ｉ１、ｉ２、ｉ３、・・・ に際し、結果として区間 （０，１ ...

２０２４年４月２８日　（解析の日）   前回 「有限　ｖｓ　無限」 問題に対し最後の審判をしておきました。 第一階述語論理レベルで集合論の無限公理なんか持ち出す。 その基本思想が間違い。 だ ...

２０２４年３月２８日　（決着の日）   今までのまとめとして、termの 「有限　ｖｓ　無限」 の課題に決着を付けておきましょうか。 （∞）関連の議論を見て分かるように。 再帰性の観点からt ...

２０２４年２月２８日　（潜在の日）    個体定数を無限個許容する場合。 大きく分けて、二つのレベルに分かれます。 一方は、潜在無限として導入する場合ですが。 従来は、潜在無限なんてゲテモノ ...

２０２４年１月２８日　（近似の日）   前回の記事を見た後で、 「今までも、自由集合なんか暗黙知として採用していた。」 なんて言い出す馬化が多くいる模様。 ホント、普遍病が膏肓に入ったらしい ...

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