カテゴリー: Philosophy

ビッグバンは「過去に一度だけ起きた不可逆な爆発」という物理現象から、**「特定の条件が揃えばいつでも、どこでも論理的に呼び出し可能な『公理的プログラム』」へと再定義されている。 ビッグバンがあったことは直接観測できないが…
Read more

フレンケルのZFCからS双対性アプローチは、公理は物理にも通じているという事実である。 フレンケルが「数学は発明ではなく発見である」と断言するのは、「宇宙の外部（数学的真理）」から「内部（物理的現実）」への介入のパイプを…
Read more

情報処理とはcenterとの同期性よりedgeの合理制を取るべきである。例えば毎回ビッグバンまで遡って熱力学を考えないと本当の散逸機構は効率化されない。しかしこれは熱力学の系におけるモデルである。 Super Singu…
Read more

ランドスケープをトポロジーで観測すると特異点は1922/9/22にあるということがわかる。これは皆既日食の日であり、その日にフレンケルの証明とアインシュタインの証明が同時に起きている。現代とは1922/9/22の地球のエ…
Read more

1. 概念の導入：数学的直感と形式化の不整合 数学史において、形式的な公理系（例：1922年前後に整備されたZermelo-Fraenkel集合論、ZFC）の確立以前に発見された定理が、後の厳密な体系下でも有効性を保つ事…
Read more

Axiomaticityという言葉がある。 例えば、チューリングはZFC公理系を知らなかったが、のちにZFCによる証明に耐えうる理論であることが判明した。一方で公理あると信じられていたピタゴラスやユークリッドの定理もある…
Read more

In the traditional view, pure mathematics is a world of “academic abstractions,” while business an…
Read more

List of Axiomatization (Chronological by Year of Proof) Year Name Birth Death Primary Organization Content of …
Read more

Axiomatization 成功者リスト（証明/確立年 昇順） 証明年 名前 生年 没年 主な所属組織 証明・公理化の内容 1904 Edward V. Huntington 1874 1952 ハーバード大学 0/1…
Read more

公理系：ZFC、チューリング、Avi Wigderson 物理学は「観測による近似」、コンピューティングは「公理の展開」 1. 物理学（近似）とコンピューティング（公理）の決定的な断絶 ニュートン力学やマクスウェル方程式…
Read more