22/04/30 12:07:11 .net
>>797
＞”アルゴリズムとして、ステートメントは長いが
＞ 証明は自明という定義や命題の積み重ね”、
＞”（命題の）主張を述べるためにおよそ 3 ページが費やされ,
＞ しかし, 証明がたったの 2 行で終わってしまうという,
＞ 従来の数学では比較的珍しい構成になっている”
＞普通は、命題が短く、証明は長い。
＞完全に、遠アーベルの流儀が分かってない
＞これは、ショルツェ氏が悪いのではなく、
＞誘導がないため不親切なのです
流儀で誤魔化せる問題ではない
明らかに証明として不完全
「誘導」という言葉は誤魔化し
「記載の欠如」というべき
要するにプログラムとして機能しない