カテゴリー: 01-Mathematics

Decrypt history, Encrypt future™

Consensus complexity | Multi-prover Interactive Proof with commutative dynamic role swapping(dynamic MIP=NEXP)

Theme No.1 : Which historical topology do we choice to reside? historical tautology:Thales, Pytagoras, Euclid,…
Read more

不可能性の発見の歴史|アーベル群

① √2 が有理数にならないことの証明(紀元前6世紀頃 ギリシャサモス・ピタゴラス学派) 歴史上、最も古い不可能性の証明です。「正方形の辺の長さと対角線の長さを、どちらも整数比で表すことは不可能である( √2 は分数で表…
Read more

The Boundary Conditions of the Interactive Knowledge Machine 対話型知識マシンの境界条件

Humans generally explore the ‘edges’ of theory based on the premises of classical theorem sequences. When sear…
Read more

Books about computational complexity

Books of computational complexity https://www.math.ias.edu/files/Book-online-Aug0619.pdf https://www.math.ias.…
Read more

From Cantor to Quantum(1874-2026)

Why the History of Mathematics and Computation Shapes the Future of Value Breakthrough What is the ultimate fo…
Read more

64 Fields Medalists (1936–2022)

1936年の創設から2022年 歴代フィールズ賞受賞者64名 Chronological List of All Fields Medalists (1936–2022) 1936 (Oslo, Norway) 1950…
Read more

Mathematics in Japan

Masaki Kashiwara https://researchmap.jp/read0092747 Kaken https://nrid.nii.ac.jp/ja/nrid/1000060027381/ Takuro…
Read more

26 Abel Prize Laureates (2003 – 2026)

2003年の創設から2026年 歴代アーベル賞受賞者26名。 【Abel Prize Laureates (2003 – 2026)】 Award Year Name Birth Year Key Paper / Sem…
Read more

Understanding the lineage of logic, mathematics and computation

Ontological understanding of logic, mathematics and computation as generative history from 19-21 century is ba…
Read more

アルゴリズムと計算の歴史年表

1. 古代:計算の体系化 時代 人物 (English Spelling) 主な著作・論文 貢献の要約 ca. 300 BCE Euclid Elements (原論) 最大公約数(GCD)を求めるアルゴリズムの提示。 …
Read more