20/04/21 17:26:47 QPCMXF1q.net
>>190-191
どうも
まず、私自身は、IUTなど全くのお経（わからん）だが、その前提で（＾＾；
＜ショルツ先生＞
１．IUTをちゃんと読んで理解した上で反論する。IUTはCor3.12不成立で、こうすれば矛盾ができるので、直しようないぞ
２．IUTは書き方悪く、読めないから、勝手に解釈して反論する。IUTはCor3.12不成立で、こうすれば矛盾ができるので、直しようないぞ
この二つの主張は、数学的には全く違うよね
・もし、１だと数学的には重みある発言だ
・もし、２だと「そんな勝手読みして、矛盾ある」って何言っているの？（M先生より） ってことです
ショルツ先生 ”his notation is famously forbidding, （彼の記法は良く知られているように近寄りがたい〉”は
上記の２ってことでしょ？