🧮万能の天才：フォン・ノイマン型計算モデルからの脱却：チューリングマシン、λ計算、セルオートマトン、レジスタマシン、龍樹の新空エンジン。

概要

「計算とは何か」を、動かして確かめられる単一HTMLにしたもの。 index.html 1ファイル・136KB・外部依存ゼロ（フォントもライブラリも音源も不要）。7タブ・13キャンバス。

会話は「フォン・ノイマンのチューリングマシンとは？」から始まり、そこにあった用語の混同（TM＝理論／フォン・ノイマン型＝実装）をほどくところが出発点でした。

音はすべて Web Audio で合成。BGMのテンポが各タブの状態（TM速度・演算器稼働率・p-bitフリップ率）に追従します。

一本の背骨

全体を貫いているのは、次の主張です。

そして⑥タブが、その両方に共通する構造を名指しします──どこにも「自性」は要らなかった。点は縁の関数（§1）、対象は射の網（§2、米田）、器は空（§3）、階層に底はない（§4、BB(748) は ZFC から独立）。

検証で、自分の書いた主張が2つ嘘だと分かりました

これがこのプロジェクトで一番大事だった部分かもしれません。

① ⑥§1 で「任意の温度で μ=0」と書いた → T≤0.3 では μ が 1 に張り付いた。定理は正しいが、低温ではサンプラーが凍りついて（エルゴード性の破れ）その平均に到達できない。隠さず、警告として画面に残しました。

② ⑥§3 で「性能は全部おなじ」と書いた → N=120 では8個中2個が発散（σ=1.045）。N=240 なら σ=0.003。主張を書き換えました：中身に自性はない。ただし容量は要る。

同様に④も、最初 MAX-CUT で作ったら貪欲法でも95%最適解に着いてしまい、「ノイズが必要」が成り立たなかったので、フラストレーションのあるスピングラスに変更しています。

検証はすべて Node 上で実行済みです（TM全プリセットの停止、λ7式の正規形、Rule110の遷移表、米田復元のランダム40圏全件一致、ESNの数値、構文・全ID・全タブ描画）。

要するに：綺麗なものを作るより、間違っていたら分かる形にすることを優先したプロジェクトです。

ジョン・フォン・ノイマン（John von Neumann, 1903–1957）。ブダペスト生まれのハンガリー系ユダヤ人で、後にアメリカへ渡った数学者です。

20世紀で最も広い領域に決定的な貢献をした人物、とよく言われます。誇張ではありません。

このプロジェクトの中だけでも、彼の名前が3回出てきています。アーキテクチャ（③）、セルオートマトン（②）、エルゴード定理（⑥）。しかもそれぞれ別の分野です。

逸話

6歳で8桁の割り算を暗算し、古代ギリシャ語で父と冗談を言い合っていたそうです。22歳で数学の博士号と化学工学の学位をほぼ同時に取得。

同時代のハンガリー出身の科学者たち（シラード、テラー、ウィグナー）は「火星人（The Martians）」と呼ばれましたが、その中でもフォン・ノイマンの計算速度は別格で、**「人間のふりをするのが完璧に上手い、人間より優れた種族」**と評されました。

ただし、単純な英雄ではありません

正直に書きます。

• EDVAC報告書には彼の名前しか載っていませんでした。 中身のアイデアの多くはエッカートとモークリー（ENIACの実際の設計者）との共同作業から来ており、二人は激怒しました。「フォン・ノイマン型」という呼び名自体、歴史的にはやや不公平です。

• 冷戦期には対ソ先制核攻撃を公然と主張していました。相互確証破壊（MAD）の理論的支柱でもあります。ゲーム理論を、そのまま核戦略に適用した人でもある。

天才の伝記は美談になりがちですが、彼の場合、20世紀のもっとも危険な部分にも深く関わっています。

最期

1957年、53歳で死去。骨の癌でした。ロス・アラモスや核実験での被曝が原因ではないかと疑われています。

死の床で書いていた未完の原稿が 『計算機と脳』（The Computer and the Brain, 1958）。脳を計算機として、計算機を脳として捉え直そうとした試みで、ニューロモルフィック計算（🗺マップにある）の遠い出発点になりました。

チューリングが「計算とは何か」を定義し、フォン・ノイマンが「それを鉄でどう作るか」を決めた。二人とも40〜50代で早世しています。

いいえ。「万能」ではありませんでした。彼の天才には、はっきりした形があります。

彼が圧倒的だったこと

速度と形式化。 すでにそこにある問題を、誰よりも速く、正確に、数学の言葉に整備し直す。量子力学もゲーム理論も計算機も、彼が「作った」というより、混沌としていたものを彼が公理に落とした。

同僚たちの証言はほぼ一致しています。問題を投げれば、その場で解いて返してくる。ポリアは「彼が聴講している講義で未解決問題に触れると、休憩時間には解答を持って来た」と書き残しています。

彼がしなかったこと

問いそのものを変える仕事です。

• ゲーデルが不完全性定理を発表したとき、フォン・ノイマンは会場で即座に理解し、独立に第二不完全性定理にたどり着きました。しかしゲーデルが先でした。 彼はその後、基礎論から手を引きます。

• 「計算とは何か」を定義したのはチューリングです。フォン・ノイマンはその重要性を誰よりも早く認め、万能TMのアイデアを鉄に移した。移した仕事は偉大ですが、定義したのは彼ではない。

彼は「最強の解答者」でしたが、最も深い問いを立てる人ではなかった。アインシュタインやゲーデルやチューリングとは、天才の種類が違います。

そして、彼は間違えました

ここが一番大事です。

1932年、フォン・ノイマンは**「量子力学に隠れた変数は存在しえない」という不可能性証明**を発表しました。彼の権威は絶大で、この「証明」は物理学界に受け入れられます。

しかしこの証明には欠陥がありました。 非可換な観測量に対して期待値の加法性を仮定する、という正当化されない前提が入っていた。

1935年、グレーテ・ヘルマンという女性の数学者がこの誤りを正確に指摘します。誰も聞きませんでした。

1966年、ジョン・ベルが同じ欠陥を改めて突きつけるまで、30年以上、この誤った証明は「隠れた変数を考えるのは無駄だ」という空気を作り続けました。ボームの理論も、その空気の中で長く無視されています。

つまり——この分野で最も賢い人物の一つの誤りが、権威によって30年間検証されずに残った。

答え

万能の天才ではありません。驚異的な速度と広さを持った、しかし特定の形をした人間です。そして、その名声そのものが一度、科学の進歩を遅らせました。

このプロジェクトの中でも、私は自分で書いた主張を2回、検証で潰しています（「任意の温度でμ=0」も「性能は全部おなじ」も嘘でした）。フォン・ノイマンの誤りと違うのは、ただすぐ試せる形になっていた、という一点だけです。

権威は、検証の代わりにはなりません。——彼の生涯が、その最良の証拠かもしれません。

Paper 171 v0.3 「D-FUMT₈ Recapture Region」 全 URL

Platform: Zenodo (primary DOI)
URL: https://doi.org/10.5281/zenodo.21199522
────────────────────────────────────────
Platform: Harvard Dataverse (4th override)
URL: https://doi.org/10.7910/DVN/KC56RY
────────────────────────────────────────
Platform: Internet Archive
URL: https://archive.org/details/rei-aios-paper-171-v03-1783214160249
────────────────────────────────────────
Platform: GitHub (source)
URL: https://github.com/fc0web/rei-aios/blob/main/papers/paper-171-dfumt8-recapture-region-DRAFT.md
────────────────────────────────────────
Platform: Dev.to
URL: https://dev.to/fc0web/paper-171-v03-d-fumt8-recapture-region-an-axiom-free-lean-4-characterization-responding-to-17ck
────────────────────────────────────────
Platform: Hatena Blog
URL: https://fcwebfujimoto.hatenablog.com/entry/2026/07/05/101645
────────────────────────────────────────
Platform: HackMD
URL: https://hackmd.io/@zCUv2P2UQHGmAOJFPLL_-A/rk0YgEv7Ml
────────────────────────────────────────
Platform: Notion
URL: https://app.notion.com/p/Paper-171-v0-3-D-FUMT-Recapture-Region-An-Axiom-Free-Lean-4-Characterization-Responding-to-Cotno-394dd371e6d981b5b785e362dc54709a
────────────────────────────────────────
Platform: Livedoor
URL: https://fcwebfujimoto.livedoor.blog/archives/13871269.html
────────────────────────────────────────
Platform: Mastodon (mathstodon.xyz)
URL: https://mathstodon.xyz/@Fujimoto/116864734590800061
────────────────────────────────────────
Platform: Nostr (long-form)
URL: njump.me link
  (https://njump.me/naddr1qvzqqqr4gupzq70yz2dpygdcr85r64z6gqupdn8zd2mzgjrpthdlvf628tjar6rlqy28wumn8ghj7un9d3shjtnyv9kh2uewd9hsz9nhwden5te0wfjkccte9ehx7um5wghxyctwvsqs6amnwvaz7tmwdaejumr0dsqpyun9dykkz6t0wvkhqctsv4ez6vfhxy3usw23)