>>658
>>659 は共通に、
R[G] の中に意味付けできない元があることを批判しているが、
その批判には、あまり意味がない。
意味付けできる元と意味付けできる元の演算で
意味付けできる元が生じれば、応用には十分ではないか。
[個/枚]×[個/枚] や 3[個/枚]+5[枚] だって、使ってるうちに
何か意味付けが見つからんとも限らん。すぐには思いつかない
というだけで、意味付け不能だと証明されたわけでもなし。
>>660 は、>>621 が所与の問題を先に説明したとおりの
群環上で正しく計算して見せている ことを理解できないから
このような言いぶりになるのだ。基本的な知識の不足だ。
噛み付く前に、最低限の勉強はしなさい。
