Some people would rather imagine the end of the world than imagine new economic systems,
is the same thing in mathematics such that,
Some people would rather invent self destructive religious dogma than admit there is non analytical mathematics.

I think I figured out how to slow time down. I,
started paying less attention to things I don't care about.

Leanを実用するために「構造計算」を勉強して方程式を定理化しようとしている．やりすぎかな？

Leanプログラミング言語を学ぶのは楽しい！ドキュメンテーションは満々だし，使いやすいし，数学の観念に浸ることができて嬉しい！