コンピューターによる定理の自動証明

コンピューターによる定理の自動証明at MATH

コンピューターによる定理の自動証明 - 暇つぶし2ch635:１３２人目の素数さん
10/03/09 13:08:15
プランク単位系には物理的な裏付けがあるが、
数はどの底をとっても恣意的でしょう。
もっというなら16進数よりは2進数のほうが本質だと思う。