カテゴリー: axiomaticity

discrete mathematics with axiom of choiceというcomputation, modularity, coprimal irreducibilityをコアとしたinteraction …
Read more

数学は失敗を許容する。数学の論理を修正するために必要なコストは紙、鉛筆、またはタイピングのみである。数学は失敗をしたとしても修正が効きやすい学問である。一方で、数学的なhypothesisがtheoremであるかどうかを…
Read more

TANAAKKが求めているのは有無を言わさぬ圧倒的な美しい勝利であり、一般人には理解不可能だが確実に機能するランダムネスの力をboolean algebraで構成的に制御することを美（mysterieuse)としている。…
Read more

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

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

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

数学的に「閉じている」は、英語で “Closed” と表現します。 1. 演算について（代数学） 「ある集合 S が演算 * について閉じている」と言いたい場合： 例：The set of int…
Read more

A:X⇄Y {A,A’,A”…}⊂V 集合Aと集合A’という２つのホモトピータイプを設定し、全体集合をV、AはX→Yに行きたいというゴールがあるとする。このゴールは大企業の…
Read more

センタリングで上がったボールに風力や地面の摩擦などが影響し、ゴールにシュートで合わせて振り抜く場合に、足首の力がボールと足が接触した合成ベクトルとゴールを結んだ線に対して0になっていないとゴールに突き刺さらない。固めて当…
Read more

都市を「Suite」として解釈する：数学的内部証明 DAMM（Derived Algebraic Modular Model）の視点において、虎ノ門ヒルズ、シンガポールマリーナという「複合都市のプライマリービル」は、単な…
Read more