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

２０２４年１１月２８日　（バトルの日）   前回の文脈の続きを論じると。 一般的に、こう考えるべきなんです。 「termを曖昧にしたままで、formulaだけの証明は有り得るのか？」 これが ...

２０２４年１０月２８日　（空の日）   ＺＦを代表見本役としてtermの重要性を論じてきましたが。 少し、違和感を感じる猿がいたはず。 どういう箇所かというと。 ＺＦはtermをハッキリとは ...

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

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

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

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

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

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

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

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