数学与科学不同,它没有任何实在的物质基础,它源于自然的虚空,它是凭空的,它同时诉诸逻辑计算和超验的美学,后者万物共存分形使得它可被万物验证,前者是现代科学的基础,是一切现代科学原理的表达形式,是现代技术应用的源始、基础、原理。
Bayes theorem, the geometry of changing beliefs
https://en.wikipedia.org/wiki/Trinity;https://en.wikipedia.org/wiki/Trinity_(The_Matrix)
https://zh.wikipedia.org/wiki/群
https://zh.wikipedia.org/wiki/拓扑学
Programming Language and Theorem Prover — Lean
https://github.com/lean-ja/lean-by-example