かまってほしかったのかな…掛算蜻蛉がからむ!!!・超論破篇

Irian @Irian4G4

@Okaturuji 「さんまの骨」がなにかを知っていれば具体的にあるものが「さんまの骨」かどうかを答えるのに違和感を訴える人はいないでしょう？６×４＝４×６と６×４＝６×４の違いは「掛け算の順序」ですか？ #掛算

本名を入力しておくと、友だちが検索しやす @Okaturuji

@Irian4G4 ・・・（絶望的に噛み合わんとはおもいつつ）おたくさんの脳内にある件にもしや関連するかつう意味で：公理系で可換則を表示するためには formula 必要すよね　前者は formula への言明：６×４＝４×６は×の可換性、 ６×４＝６×４は = の反射性、つまり

本名を入力しておくと、友だちが検索しやす @Okaturuji

@Irian4G4 「掛け算の順序」つう、たぶん脳のファンクションについての属性（？これも予想してかいてっから）とかんけえねえ、つう、んで後者：６×４ とか４×６、こりゃ term でterm として違うのはあたりまえだが(通常の）解釈で対応させるモデルの要素は一致しますわ　んで

本名を入力しておくと、友だちが検索しやす @Okaturuji

@Irian4G4 やっぱ「脳の機能属性（ほんとこれも先方さんの脳んなか予想して書いてますから、みなしゃん）」としての「掛け算の順序」とはかんけえねえ、と、しか、俺はいえまへん

本名を入力しておくと、友だちが検索しやす @Okaturuji

@Irian4G4 ・・・ちょ、まじで・・・・おたくさんの当初の問をよみなおしてくださいよ・・・「さんまの骨かどうかを答えろよ」じゃあねっしょ？「さんまの骨の意味こたえい」でしょ？

Irian @Irian4G4

@Okaturuji ６×４＝４×６は可換則の適用結果でしょう？ #掛算

Irian @Irian4G4

@Irian4G4 @Okaturuji そして６×４＝６×４は＝の反射性からの帰結でしょう。これらの記号列での違いは「６×４」と「４×６」という term の違いによって表現されています。 #掛算

Irian @Irian4G4

@Irian4G4 @Okaturuji ６×４と４×６の値は等しいでしょうけれどそれは６×４と４×６が全く同一の意義をもつことを意味しないのは６×４と３×８を比べてみれば明らかでしょう。 #掛算

Irian @Irian4G4

@Irian4G4 @Okaturuji 「掛け算の順序」という言葉の意味をきかれた違和感は「さんまの骨」についての質問といういうよりもむしろ「タコの骨」についてのそれをきかれた違和感に近いのではないでしょうか？ #掛算

本名を入力しておくと、友だちが検索しやす @Okaturuji

@Irian4G4 ６×４と４×６と３×８は違う terms であるつう、どうしょうもなく自明なはなしにみえるっす　（まじこれ、なんの議論だっけ）

本名を入力しておくと、友だちが検索しやす @Okaturuji

@Irian4G4 いやいやさんまの骨っすよ　なんでいきなりタコの骨？？（なあんかやばいな）

本名を入力しておくと、友だちが検索しやす @Okaturuji

@Irian4G4 ちょっとねえ・・俺の暗喩、わざと無視してっしょ、おたくさん

Irian @Irian4G4

@Okaturuji ６×４と４×６と８×３はどれも「 term でterm として違うのはあたりまえだが(通常の）解釈で対応させるモデルの要素は一致します」よね？ #掛算

Irian @Irian4G4

@Okaturuji 「６×４×３」なら二つの「×」について「掛け算の順序」という言葉は意味をもつでしょう。一方「６×４」には一つしか掛け算の記号「×」はありません。「掛け算の順序」とはなんの「順序」でしょうか？ #掛算

Irian @Irian4G4

@Okaturuji 脊椎動物の骨ならそれがなんの骨かを判断することは可能でしょう。軟体動物の骨となるとわけがわかりません。掛け算を複数している式における掛け算の順序と言うなら意味はわかります… #掛算

Irian @Irian4G4

@Irian4G4 @Okaturuji …「６×４」の「掛け算の順序」なんて「タコの骨」みたいにきこえませんか？ #掛算

本名を入力しておくと、友だちが検索しやす @Okaturuji

@Irian4G4 （このあたりの反応っつうことは、俺の「想像」はあたらずしもとーからず、だった？つことは「ピアジェのはなしをしてえのかな」ってのは実はあたり？でもさいしょ小学校うんぬんのずいぶんと業界くせえ話だったよな・・・実はまったく想像ちがってたりするか）

本名を入力しておくと、友だちが検索しやす @Okaturuji

@Irian4G4 あんたさん、どなたさんに話されてます？　そういやずっと　#掛算　タグついてんな

本名を入力しておくと、友だちが検索しやす @Okaturuji

@Irian4G4 ちょっと、おかしな誘導せんでいただけますかね？もういっかい言うけど、あんたさん俺の比喩の意味わかってて無理な解釈してっしょ？　一応、つけとくか #掛算　

本名を入力しておくと、友だちが検索しやす @Okaturuji

@Irian4G4 きこえんです　term は左から書いてゆくから「順序列」じゃんというのはあんたさん的にはダメなんすよね　（ほんとこれ、何のはなしだったっけか）#掛算　

Irian @Irian4G4

@Irian4G4 @Okaturuji 数式とは数学的内容を記号列で表現したものでしょうからその意味での順序ならわかります。記号列は右から左に書くこともありますし左から右に書くこともあるでしょう。 #掛算

Irian @Irian4G4

@Irian4G4 @Okaturuji 一つしかないものに順序を考えることはできないでしょう。表現６×４と表現４×６のそれぞれにおいては１回の掛け算しか表現されていないでしょう。 #掛算

Irian @Irian4G4

@Irian4G4 @Okaturuji 二項演算の表現では演算の対象となる二項を記号列においてどの順序におくかを定める必要があるでしょう。 #掛算

本名を入力しておくと、友だちが検索しやす @Okaturuji

@Irian4G4 で、あんたさんの脳内に存在する「その意味での順序」について、当初から無茶ぶりしてきたわけっすよねえ　なんかまったく文脈しらねえわけわかな俺に　そういうの、いいんすか　#掛算　

Irian @Irian4G4

@Irian4G4 @Okaturuji 従って「かけ算とは１あたりからいくら分を求める計算であるとし，いくら分×１あたり の順序でかくとき「a×b＝b×a」が成り立つ」といった内容，すなわち乗法の交換法則の意味を表現するには規約が必要になるでしょう。 #掛算