私たちが立つ、巨人たち

クレジット

このサイトに、新しい数学も新しい科学もない。どのゾオイド社会も、他者に属するアイデアに取り組み、それを再発見し、それに教えられている。このページは、その定理と結果と方法と思想家たち — このプロジェクトが立脚するもの — に謝意を記す。最初のドクトリンの、正直な伴侶である：作らなかったものに名を与えよ。

数学とミレニアム問題

リーマン仮説 — Bernhard Riemann。同値な判定条件と証拠：Guy Robin、Jeffrey Lagarias、Franz Mertens と August Möbius（メルテンス予想の反証は Andrew Odlyzko と Herman te Riele）、Nicolaas de Bruijn と Charles Newman（Λ ≥ 0 は Brad Rodgers と Terence Tao）。零点の統計：Hugh Montgomery、Andrew Odlyzko、 Freeman Dyson、Michael Berry と Jonathan Keating、そしてヒルベルト–ポリアの着想。超過剰数： Srinivasa Ramanujan、Leonidas Alaoglu と Paul Erdős。フェルマーの最終定理 — Pierre de Fermat。証明は Andrew Wiles と Richard Taylor（モジュラー性：谷山–志村–ヴェイユ）。四色定理 — Kenneth Appel と Wolfgang Haken。ポアンカレ予想 — Henri Poincaré。証明は Grigori Perelman、Richard Hamilton のリッチ流を経て。曲面は Leonhard Euler より。ナヴィエ–ストークス — Claude-Louis Navier と George Stokes、 Jean Leray、Caffarelli–Kohn–Nirenberg、Beale–Kato–Majda、Ladyzhenskaya–Prodi–Serrin、 Escauriaza–Seregin–Šverák。二進／シェルモデルは Katz–Pavlović、Cheskidov、Friedlander。平均化方程式は Terence Tao。カスケードは Lewis Fry Richardson と Andrey Kolmogorov。算術 — Giuseppe Peano、エジプト式（ロシア農民式）倍加、John Napier（対数）、Kurt Gödel（ゲーデル数）、中国剰余定理（孫子。剰余算術は Garner と Svoboda）、平衡三進法（計算機 Setun）。

物理と場の理論

ヤン–ミルズと質量ギャップ — Chen-Ning Yang と Robert Mills。格子ゲージ理論（Kenneth Wilson）、漸近的自由性（David Gross、Frank Wilczek、David Politzer）、構成的場の量子論（James Glimm と Arthur Jaffe）、Osterwalder–Schrader と Wightman の公理系。ミレニアム懸賞問題の定式化は Clay Mathematics Institute による。

偉大な測定

エラトステネス、アリスタルコス、Ole Rømer、Henry Cavendish と Isaac Newton、Joseph von Fraunhofer、 Edwin Hubble、そして Johannes Kepler。

論理・計算・形式化

導出法による証明 — John Alan Robinson。不完全性定理と停止問題 — Kurt Gödel と Alan Turing。ゼータの加速は Cohen–Rodriguez Villegas–Zagier。証明器 Lean（Leonardo de Moura）と mathlib コミュニティ、 Patrick Massot のブループリント方法論。機械による発見の系譜 — AM/EURISKO（Douglas Lenat）、 Ramanujan Machine、そして FunSearch / AlphaTensor（DeepMind）。

音楽と音

純正律と加算合成。Manfred Schroeder の残響器。グラニュラー合成（Iannis Xenakis、Curtis Roads）。ピッチ検出器 YIN（Alain de Cheveigné と Hideki Kawahara）。Krumhansl–Schmuckler の調性判定プロファイル（Carol Krumhansl）。10cc「I'm Not in Love」へのオマージュとしての群声合唱。そして定理音楽が借りる作曲家たち — Bach、Mozart、Beethoven、Wagner、Debussy、Bartók、Stravinsky、Schoenberg、Xenakis、 Ligeti、Penderecki、Philip Glass。

生きた系と、隠喩

粘菌（Physarum。迷路実験は中垣俊之）と管クラゲのコロニー。群れ（Craig Reynolds の Boids）。セル・オートマトン（von Neumann、Conway、Wolfram）。進化する仮想生物（Karl Sims）。

心・社会・言語

Thorstein Veblen（The Theory of the Leisure Class）、William Graham Sumner（Folkways）、Robert Park と Ernest Burgess（Introduction to the Science of Sociology）、Ron J. Hammond（Sociology of the Family）、 OpenStax（Introduction to Sociology 3e）、Sigmund Freud（The Interpretation of Dreams・A General Introduction to Psychoanalysis）、Alfred Binet（The Mind and the Brain）、Christopher L. Klein （Essentials of Cognitive Psychology）。ワーキングメモリの限界は George A. Miller に倣う。

道具・標準・テキスト

Rust 言語とその標準ライブラリ。Project Gutenberg のパブリックドメイン文献。OpenStax とその著者たちによる Creative Commons のオープン教科書。読みやすさは Rudolf Flesch に、アクセシビリティのコントラストは W3C の WCAG に倣う。このネットワークは、AI アシスタントとの継続的な対話のなかで設計され、書かれた。

ここに人名・著作・結果を挙げるのは、このプロジェクトが用い、あるいは再発見した影響やアイデアへの謝辞であり、その方々の推奨・関与・所属を意味しない。このプロジェクトはこれらの著作を一切複製していない — ただ、その上に立っている。訂正を歓迎する。