09/05/09 19:22:39
>>522
真であると証明するために、背理法を使う（そっちの方が楽なら）
機械的に真偽を見分ける方法がほしいんだな？
そういうのがあったら数学はいらないし
頭の中身を判断するテストにならないよ
09/05/09 19:22:39
>>522
真であると証明するために、背理法を使う（そっちの方が楽なら）
機械的に真偽を見分ける方法がほしいんだな？
そういうのがあったら数学はいらないし
頭の中身を判断するテストにならないよ
09/05/09 19:22:39
>>522
真であると証明するために、背理法を使う（そっちの方が楽なら）
機械的に真偽を見分ける方法がほしいんだな？
そういうのがあったら数学はいらないし
頭の中身を判断するテストにならないよ