小学校算数における乗算の非可換性について(書きなおした)(書きなおした) - 簡潔なQ

↓今読みなおすと頭抱えたくなるような記事なんですが残しておきます 基本的なことは 黄金原本更新, 【もはや最短理解でもなんでもない】なぜ5×3ではなく3×5なのか - 跡地, たくさんの反響ありがとうございます - ワタタツの日記!(2010-11-13)に譲るとして。あとその時点での「数」は自然数だから、実数と混同しないでほしい>混同してる人。 なんで乗算を非可換で定義するかって話だけど、それは非可換なまま定義すれば、乗算を構成的に定義できるからじゃないかな。うまく説明できないけど。 Coqだと、自然数の乗算は以下のようになる。(Coqだけの話ではないと思う…) Fixpoint mult (n m:nat) : nat := match n with | O => 0 | S p => m + p * m end「n×mっていうのは、mをn回足したものですよー」(小学校算数とは逆のよう

[REV]

「「問題文をどのように『自然数の掛け算』に落とし込むか」という、（純粋）数学の外にある問題」「順序にこだわっている人は、掛け算の教室的定義が [1 あたり量]×[数量] であるとした上で、自然数の積の可換性は証

[mongrelP]

ぶっちゃけのちのち不可換な乗算が行列あたりで出てくるので一度こういうのあってもいいとは思う。

[medicineman]

コメント欄

[zu2]

「知らないふりゲーム」 (笑)　たしかに。今にして思えば、知らないふりじゃなくて、恐ろしく知ってるふりゲームがしたかったな。もう遅いが。若い人はがんばってください。