神ブランド

２０２５年１１月２８日　（神ブランド）   今回からはtermではなくformulaを扱います。 流れとして、 「１本テープ　ｖｓ　２本テープ」 の具体例を採用しますが。 この論点は他のＴＭ ...

２０２５年１０月２８日　（神ブランド）   前回までで、矛盾が証明の格真利益だと納得できたはず。 なにせ、決定問題証明の殆どは背理法を使うぜ。 その 「背理法適用前の途中（文中）矛盾」 が正 ...

２０２５年９月２８日　（神ブランド）   準備完了したので、今までの伏線の真意を開示しておくと。 ｉ２が登場したら、 虚数＝｛ｉ,ｉ２｝ ですね。 だったら、ｉ２登場前の状況では、 虚数＝｛ ...

２０２５年８月２８日　（神ブランド）   そもそも、何故、∨シェーマなんて概念が必要なのか？ 「私がトンデモになった証拠では？」 なんて思った猿が多いカモ。 それが青いの。 「前回の伏線が何 ...

２０２５年７月２８日 （神ブランド）   前回、提示した∨シェーマに関する続きです。 斬新なので、何の役に立つか分からないカモ。 今回から、暫くは、∨シェーマの真価についての蘊蓄を。 何故、 ...

２０２５年６月２８日　（神ブランド）   前回からの続きです。 前回、私が証明したのは 「非標準ＴＭ計算から｛１,０｝基準ＴＭ計算への翻訳は証明できてない。」・・・（１） という事実。 この ...

２０２５年５月２８日　（神ブランド）   猿は 「トラック競技は仮想世界の仮定。 最後に、基準ＴＭに翻訳実現すれば怪しさは解消する。」 と多項式脳で思うのですが。 寝言は、基準ＴＭに翻訳した ...

２０２５年４月２８日　（神ブランド）   前回、ＴＭ論における公準を持ち出しましたが。 公準レベルの議題としては、 「多テープ　ｖｓ　１本テープ」 は独立か？ こういう考察を抜きに、無邪気に ...

２０２５年３月２８日　（神ブランド）   前回の■の重要性が理解できているかな。 ■は情報欠落関数の文脈で登場した記号（名前）であり。 証明場における、本来のセマンティクスは 「（情報が足り ...

２０２５年２月２８日　（神ブランド）   今回は冪乱の理論化について考察します。 冪乱は、計算機の計算速度に関し影響を及ぼす核心概念なのです。 その理由が把握できてない模様。 だから駄目なん ...

２０２５年１月２８日　（神ブランド）   Ｂ‐テスト見て判るように。 一旦、マシンの速度アップ競争に入ると。 いつまでも、冪が保存されるマシンのままではいられなくなり。 それ以降は冪乱という ...

２０２４年１２月２８日　（神ブランド）   現在の計算機の速度アップ競争ですが。 従来は猿がアドホックにやってきた模様。 しかし、そこにＢ‐テスト神が登場して。 ケンタウルスをやっつけるわけ ...