[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上
下
前
次
1-
新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
801
: 2022/04/30(土)12:07
AA×
>>797
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
ﾚｽ栞
|
ﾚｽ消
]
801: [sage] 2022/04/30(土) 12:07:11.85 >>797 ＞”アルゴリズムとして、ステートメントは長いが ＞ 証明は自明という定義や命題の積み重ね”、 ＞”（命題の）主張を述べるためにおよそ 3 ページが費やされ, ＞ しかし, 証明がたったの 2 行で終わってしまうという, ＞ 従来の数学では比較的珍しい構成になっている” ＞普通は、命題が短く、証明は長い。 ＞完全に、遠アーベルの流儀が分かってない ＞これは、ショルツェ氏が悪いのではなく、 ＞誘導がないため不親切なのです 流儀で誤魔化せる問題ではない 明らかに証明として不完全 「誘導」という言葉は誤魔化し 「記載の欠如」というべき 要するにプログラムとして機能しない http://rio2016.5ch.net/test/read.cgi/math/1644632425/801
アルゴリズムとしてステートメントは長いが 証明は自明という定義や命題の積み重ね 命題の主張を述べるためにおよそ ページが費やされ しかし 証明がたったの 行で終わってしまうという 従来の数学では比較的珍しい構成になっている 普通は命題が短く証明は長い 完全に遠アーベルの流儀が分かってない これはショルツェ氏が悪いのではなく 誘導がないため不親切なのです 流儀で誤魔化せる問題ではない 明らかに証明として不完全 誘導という言葉は誤魔化し 記載の欠如というべき 要するにプログラムとして機能しない
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 201 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
ぬこの手
ぬこTOP
0.031s