「ハイパー論理」 一覧

２０２６年２月２８日　（誤近の日）   前回の冒頭で、 「Θ’が自由集合の場合、Θ＋Θ’も自由集合になる」 と指摘しました。 これに異論を唱える猿は一匹もいなかったのかな。 例えば、自然数全 ...

２０２６年１月２８日　（文字の日）   今まで名前アルファベットΘ’を考えてきましたが。 名前導入後の結果論としての理論を考察すれば。 採用しているアルファベットは Θ＋Θ’ となるわけで。 ...

２０２５年１２月２８日　（奇跡の日）   前回、名前用アルファベット集合Θ’が登場し。 Θ’が自由集合になることを枠内証明しました。 Θ’を枠内固定すると自由性に対する 「名前アルファベット ...

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

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

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

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

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

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

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