「ハイパー論理」 一覧

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

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

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

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

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

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

２０２３年１１月２８日　（Δ（ＺＦ）の日）   自由性の観点から、公理系のシェーマは非常に興味ある対象ですが。 前回の議論の段階で大事な論点があります。 シェーマでの（ψ）の候補として、 「 ...

２０２３年１０月２８日　（シェーマの日）   一般に形式公理体系Ｔという場合。 公理候補として無限個の公理を許可します。 この場合の無限の意味、レベルは？ だって、公理として提示できるのは有 ...

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

２０２３年８月２８日　（連鎖の日）   前回で淵野の間違いが把握できたとして。 面白い素材なので、更に料理しておきましょうか。 この為、前回のＺＦ＋（∞）を再度、取り上げます。 まず、この段 ...