>>85-87
1)ふっ
”まず、聞いておきたいが
あなたは 数学の研究論文で投稿査読されて掲載された論文が1本でもありますか?
見るところ ないよねw”と聞いたけど>>77
はぐらかしか?
2)”simplification手法”は、形式論として
証明の不具合を指摘するのには、適さない
証明の不具合をキチンと指摘するのには、a)ギャップ、b)反例、c)矛盾 の3通りが主になる
3)”simplification手法”を、証明の不具合の指摘に使うことは よろしくない!
つまり 数学論文の証明は 一般的に無駄な部分は無いのが普通であって
それを”simplification”すると 筆者が証明に必要としている部分を”simplification”しているってことだ
それゆえ、証明に必要としている部分を”simplification”すれば 証明に不具合が起きて当然だ
(若いドイツの数学者は若いな。とち狂っている)
Inter-universal geometry と ABC予想 (応援スレ) 80
■ このスレッドは過去ログ倉庫に格納されています
89132人目の素数さん
2025/12/19(金) 00:00:49.49ID:mRINHB56■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【中道】衆院選公約「食料品の消費税を恒久的にゼロに」方針 公明・西田幹事長 [煮卵★]
- 【サッカー】久保建英が負傷、右太もも裏を抑えて倒れ込み微動だにせず…担架で運ばれる。ソシエダはバルセロナに2-1勝利 [久太郎★]
- 国会議員出身大ランク トップは東大の119人、早慶、京大、日大のトップ5で4割超 [七波羅探題★]
- 【高額療養費制度】「引き上げるなら安楽死を認めてほしい」負担額が2倍近くになる長期療養患者も 「治療を諦めざるを得ません」 ★2 [ぐれ★]
- 自民党・松川るい氏、日中関係「正常化を」 議員交流に期待 [蚤の市★]
- 【衆院選公約】自民「食品消費税ゼロ」前向き 中道新党も主張へ ★6 [ぐれ★]
- 【悲報】高市首相、2万円はあげなかったが一時的消費税ゼロを検討へ [115996789]
- ジャニーズ「石破さんとは大違いだなあって」 高市首相の外交に「すごく安心感がある。代表として誇らしい」 [412920772]
- お前らチー牛ってなんで憎くて嫌いな人を殺害しないの?ビビって出来ないならいい加減その性格直そうよ
- 日本人の69%「中道は高市に対抗できる勢力に『ならない』」 [792147417]
- お前らチー牛ってなんで憎くて嫌いな人を殺害しないの?ビビって出来ないならいい加減その性格直そうよ
- お前らチー牛ってなんで憎くて嫌いな人を殺害しないの?ビビって出来ないならいい加減その性格直そうよ
