11/07/30 11:47:24.72
>>432
＞伝統的に使われている表式が、明文化されたルールだけでは説明できない例が存在するため、
＞きちんと理解するために、あのような解釈(※)を行っている
「解釈によって、異なる」ということが無いようにする(規則を決める)のが形式主義という立場なのだが
(逆に、規則に従う限りで、どのような解釈を行うのも自由)
形式主義が理解できないのか、それともそもそも形式主義に従う気がないのか。
現代数学は形式主義をとるので、もし後者ならスレ違い,板違い
また、君の主張は論理的でない。例えば
「(a/b)*c = a/bc」が正しいか否かが争点の１つであるのに
君はこれを一般ルール・基本原則・厳格解釈(前提)としている。