コンピューターによる定理の自動証明
■ このスレッドは過去ログ倉庫に格納されています
0478132人目の素数さん
2009/01/16(金) 01:51:07真実追求しかしていない。
抽象的数値a,bには大小関係が定義されていない。
aとbどっちが大きいか?という問いに意味がない。
アルファベットに大きいも小さいもないからな。
a、bに具体的数値を代入して初めて大小関係が定まる。
ところが、ここの住人は具体的数値を求める必要はないと言う。
じゃあ質問するがaとbはどっちが大きい?
ただしaとbには具体的数値は代入されていないものとする。
ただ、おれは>>448で大小関係はプログラムで求められることに気づき
その部分においてのみ、自らのあやまちは認めたはずだ。
■ このスレッドは過去ログ倉庫に格納されています