CONTENTS

Decrypt history, Encrypt future™

高階無限の存在 non-presentable higher infinitude

あらゆる対称性が崩れた、記述長が存在そのものになってしまう表現不可能な高階無限があると仮定する。そのような一切の対称性を持たない無限は記述表現がコロモゴロフ複雑性の圧縮表現の限界となってしまい、存在そのものが記述長になっ…
Read more

4で証明できる理由 logical tetrahedron

ワイルズが共形表現による同型背理法証明をフェルマー公式、楕円方程式、ガロア表現、L関数の4つで止めたのは、四色あれば平面地図は塗り分けられるからという必要十分条件から理解できる。5個、6個、7個と証明を畳み掛けることはで…
Read more

operadの系譜

「Operad」という言葉が初めて公式に登場したのは、1972年に発行されたJ. Peter May(J. ピーター・メイ)の著作『The Geometry of Iterated Loop Spaces』の中です。 用…
Read more

Maxim Kontsevich 配置空間理論

マキシム・コンツェヴィッチ(Maxim Kontsevich)による「配置空間(Configuration Space)の理論」は、現代の数学、特に幾何学、トポロジー、そして数理物理学において極めて重要な役割を果たしてい…
Read more

四体問題の非衝突特異点 Painlevé’s Conjecture

天体力学における「非衝突特異点(Non-collision singularity)」、すなわち天体同士がぶつかっていないのに有限時間内に速度と距離が無限大に達するという現象は人類の「数学的直感」による予測である。 1.…
Read more

三体問題が難しい理由

1. 自由度の「組合せ爆発」 天体の数 n が増えると、それらの間に働く「力のペア」の数が急増します。 2. 「非衝突特異点」 三体問題では、計算が無限大に発散(破綻)するのは、天体同士が物理的にぶつかる「衝突」のときだ…
Read more

5次以上の方程式は楕円関数で静的特定できる

1. 2000年にわたる沈黙(二次方程式) 2. ルネサンスの決闘(三次・四次方程式) 3. 天才たちの挫折と死(五次方程式) ところが、五次になった途端、世界中の数学者が何百年かけても公式を見つけられませんでした。 歴…
Read more

Four color theorem 四色定理

4色定理は「世界で初めて、コンピュータを本質的に使用して解決された未解決の重要問題」とされています。それ以前にも「コンピュータを使って計算する」ことはありましたが、4色定理が他と決定的に違ったのは、「コンピュータによる検…
Read more

De Morgan’s laws ドモルガンの法則

オーガスタス・ド・モルガン(Augustus De Morgan)が定式化したDe Morgan’s lawsドモルガンの法則は、集合論や論理学において「否定(NOT)」が「かつ(AND)」や「または(OR)…
Read more

CITES生物分類 CITES II 37400種 CITES I 1100種

ワシントン条約の附属書II(CITES II)に含まれる約37,400種の内訳このリストの約8割以上は「植物」であり、動物の中では「サンゴ」や「爬虫類」が大きな割合を占めています。 附属書II(CITES II)の分類別…
Read more