「ハイパー論理」 一覧

２０２６年５月２８日　（垓円の日）   ω要素は複合記号で。 １個の１文字記号としての個体定数∅ ＋ １個の関数記号｛ｘ｜｝ から再帰的に構成されるのですが。 複合記号許容すると、無限個の個 ...

２０２６年４月２８日　（蝕観の日）   １か月経過したけど、前回のＹＲに関する宿題に解答できるかな？ 出来るものなら、１０年以内にＡＩ使って解答してみ。 １０年後のＡＩの知力限界計測。 議論 ...

２０２６年３月２８日　（ＹＲの日）   人生のハイパーアルファベット原理１は名前関連だから証明済みとして。 「ハイパーアルファベット原理２と３の証明は明示されてない。 よって、正式証明できて ...

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

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

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

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

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

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

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