>>604
>演算回数が明らかに異なる「a×b」と「a+a+･･･+a+a(aをb回足す)」は違う意味となるので
まあ、「a+a+･･･+a+a(aをb回足す)」は固定派にとっては「a×(b+1)」となるから「a×b」とは意味が違うね
「a×b」と「a+a+･･･+a+a(aをb回足す)」が同じ意味だと真剣に言っている固定派が誰かいたのか？

>掛算を累加の表現としている固定派は自己矛盾しているように思えるのですが?
『「aをb個足す」ことを「a×b」と書く』という定義の存在により、両者の意味が繋がるのだけど何か？

>前者はb-1回、後者はa-1回ではないかと
> うっかりミスかな？
わざわざ「君が書いている通り」と書いてあげているのにｗ

>「3+3+3+3+3」はf(3,f(3,f(3,f(3,3))))
何か「式の意味」がおかしい気がするな
「1+2」をf(x,y)を使って置き換えてみてくれ
「3+3+3+3+3」を二項演算として本来必要な「()」を使って置き換えてみてくれ
f(3,f(3,f(3,f(3,3)))) を「+」と本来必要な「()」を使って置き換えてみてくれ
さて、自由派にとって、ある記法から他の記法に単純に置き換えるだけの話だがそれは一意になるのでしょうか？

単に「式の意味」とはその式から素直に読み取れる情報であり、それを数学として議論することには意味があると思うね
そして、置き換えにあたり「結合法則」「分配法則」「交換法則」を適用していたのでは「素直に」とは言えない
自由派は中置記法から他の記法に置き換えることすら怪しいのではないかと思う