21/01/09 22:05:18.75 HHxCVg3C.net
>>773
>>具体的には”re-initialization”がconsistentだという証拠が全くない
>>それじゃ誰も説得できない
>「誰も」に反例があるよ。DupuyとJoshi氏は、納得している
嘘はいけないよ 二人とも納得はしていない
>IUT Cor3.12（その元のCor3.11も）に証明はある。
嘘はいけないよ IUT論文には証明はない
擬似証明という無意味な文字列があるだけ
証拠＝証明＝完璧な論理推論の列
ギャップだらけの記述は証明でもなんでもない
知らなかったのか？