「ハイパー論理」 一覧

２０２５年１１月２８日　（アルファベットの日）   前回、名前のサイズ問題を取り上げました。 そして、それが死活問題になる見本として計算量理論を挙げました。 こう指摘しても、馬化は 「ＤＬ　 ...

２０２５年１０月２８日　（サイズの日）   未だに、ハイパー論理の重要性が理解できない猿が多い模様。 自由集合を曖昧な潜在無限概念の一種として把握し。 そんなもの、哲学だと思っているから駄目 ...

２０２５年９月２８日　（ＮＡＭＥの日）   実数の名前集合がＮＡＭＥでした。 それに対し、自然数の名前集合をＮＡＭＥ’とし。 語の名前集合をＮＡＭＥ”とします。 どちらも、ＮＡＭＥとは違う集 ...

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

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

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

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

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

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

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