トップページ
⇒
math
652コメント
203KB
コンピューターによる定理の自動証明
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0596
132人目の素数さん
2009/03/01(日) 09:52:47
>>594
1プランク長 = 1.616252... × 10^(-35) [メートル]
って時点で、1メートルがプランク単位の自然数倍じゃないよ。
1メートルってのは実は存在しない長さなの?
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています