トップページ
⇒
math
652コメント
203KB
コンピューターによる定理の自動証明
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0201
132人目の素数さん
2005/12/23(金) 11:44:31
>>199
皮肉なのかマジなのかわからん。
計算可能な実数と不可能な実数があって、ルート2は計算可能だそうだ。
いずれにしてもこのスレの本筋からずれている話だとは思うが。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています