「ハイパー論理」 一覧

２０２５年３月２８日　（百考の日）   前回、選択関数の特性に注目して蘊蓄を傾けました。 選択関数辺りから、普遍境界がチラチラと見え始めるという筋書き。 何遍も繰り返しますが選択関数という概 ...

２０２５年２月２８日　（千創の日）   前回、１００考の話題に入りましたが。 リー群系微分の話はハイパー神商に譲って。 こちらでは、猿の脳タリンレベルを悟らせるため。 １０００創に至る途中の ...

２０２５年１月２８日　（制約の日）   前回、制約対角線論法という新概念を提示しておきました。 制約Ｃ付きの対角線論法ですが。 この重要性が認知できているかな？ 対角線論法は実数の非可算性証 ...

２０２４年１２月２８日　（背理の日）   今まで、メタというと、 「矛盾」 とか 「独立」　 とかを持ち出して。 「これがあるから、（演繹）証明は計算（可能）とは違う。」 と述べてきました。 ...

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

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

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

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

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

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