トップページ
⇒
math
652コメント
203KB
コンピューターによる定理の自動証明
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0263
132人目の素数さん
2006/01/19(木) 03:46:05
>>245
自然数があるのに命題論理とは・・・。
248の言うとおり、REだと言っているだけだよ。
いい加減な知識に基づいて考えるのは危険だよ。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています