21/09/27 07:16:36.92 HAEeQRGA.net
>>774
>望月氏や、Dupuy氏や、さらに査読者と編集委員たちは、
>ショルツェ氏の主張は不成立という判断なのですね
Dupuyは
「いくらなんでも simplifications は酷すぎる
Cor 3.12が成立するような解釈が存在するかもしれないじゃないか」
という立場
これ、一見、望月新一を擁護してるように見えるけど実は違う
もし、IUTを理解しているなら、はっきりと
「かくかくしかじかの定義でCor 3.12が成立する！」
と説明する
要するに、Dupuyは、望月新一のいうCor 3.12の有用性は認めるものの
これが「定理」であるという点については留保してるんだな
査読者は誰だか知らんからコメントしない
おそらくフェセンコの可能性大だが、
フェセンコは説明に失敗してるから
分かってないんだろう
編集委員は正当性よりもRIMSという組織の防衛を優先させたと思われる
気持ちはわからなくもないが、国内事情を優先してRIMSの国際的信用を
落としたのは残念である