- 762 名前：１３２人目の素数さん mailto:sage [2012/09/14(金) 07:24:21.09 ]
- >>739が言ってるのは論理式だけを見て複雑さを定義して論理式間の同値を考慮しないって話で
>>748は「数学的な概念」（＝論理式の同値類？）に対して複雑さを定義しなければいけないって話ではないかと。
「普通の数学に表れる」と言ったときにどちらがまともかは言わずもがなだと思う。
前者の意味で複雑になってもそれは数ある論理式の表現の仕方の中でわざわざ複雑なものを選んできたからに過ぎず意味がないことになるわけで。
>>739は用語法の違いってことで逃げようとしているけど、場にそぐわない用語法持ち出しても正当化にはならないと思う。
なんか上の方のレスと同じこと言ってるけど。
