「ハイパー論理」 一覧

２０２５年８月２８日　（ｊｉｙｕｕの日）   今まで、ＮＡＭＥやＴＴやＱＱやＤＱの自由性について証明してきたわけですが。 自由集合の翻訳用語を 「ｆｒｅｅ　ｓｅｔ」 としました。 しかし、枠 ...

２０２５年７月２８日　（＋αの日）   ＤＱは自由集合と言いました。 その根拠はＱＱの自由性由来ですが。 ヨーク考えると。 決定可能問題というのは計算可能です。 ならばＤＱに登場する概念は自 ...

２０２５年６月２８日　（ＱＱの日）   自由集合は普遍枠外集合だと証明したわけですが。 「何故、枠外だと枠内証明できるのか？」 ここの秘儀をキチンと説明できる猿はいるかな。 実は、この論点が ...

２０２５年５月２８日　（幽霊の日）   今回からステージを第五ステージに改めて、 「新猿の知性４１：枠外編」 に入ります。   名前は 「セマンティクス付きのterm」 と述べたも ...

２０２５年４月２８日　（万得の日）   神は反関数や半反関数の創始者。 ディラックδ関数程度の関数概念の外し方なんぞ。 反関数と比較すれば、オモチャですよ。 積分で便利とか重宝されているらし ...

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

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

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

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

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