[過去ログ] Inter-universal geometry と ABC予想 49 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
19
(1): 2020/04/12(日)12:59:07.01 ID:PvMCL4BQ(2/2) AAS
ねじ込んだのは検証チーム側ね
書き方悪かった
73: 2020/04/12(日)15:06:12.01 ID:/DJf/xou(2/13) AAS
間違ったこというより、
知ったかが、一番頭悪い。
85: 2020/04/12(日)15:16:54.01 ID:B0nmwJ3E(1) AAS
>>82
学部生が初めてゼミ発表するときに先生に言われるやつだよなこれ
学部レベルに満たないのは望月のほうだよ
99
(2): 2020/04/12(日)15:33:46.01 ID:PUkvI9Uv(2/3) AAS
>>98
もうこういうレベルしか残ってないのか。
ギャップがあることの意味がよくわからないんだろうな。
178: Brother No.1 2020/04/12(日)17:02:28.01 ID:OlsRjmnt(13/38) AAS
ID:/DJf/xouは🏍でもぶっ飛ばして大阪湾にダイブしちまえ
407
(1): 2020/04/13(月)01:28:10.01 ID:vvVnRe9y(2/9) AAS
実はよくわからなかったり細かい議論が面倒だったりするときって、自明って言いたくなるよね
431
(1): 粋蕎 ◆C2UdlLHDRI 2020/04/13(月)07:25:16.01 ID:fblTsVTs(3/5) AAS
此処で一先ずコーヒーブレイク。数学板空前絶後無上無双のバカレスを紹介。

e、自然対数の底
2chスレ:math

51: β ◆aelgVCJ1hU [] 2007/08/15(水) 10:45:37
(e)'=0
(ex)'=x

↑はeを定数とみなすときのみだよな?
省1
466
(1): 2020/04/13(月)11:03:19.01 ID:my5S7sSz(4/32) AAS
>>458
野暮天さん、あんた面白い人だね

>荒らしスレと認定されて取りつぶしにあったあのスレか

誤解だな、それw(^^
隔離スレでなく
外に出て、もっと暴れろってことよ
いまみたく ww(゜ロ゜;
省6
569: 2020/04/13(月)17:18:41.01 ID:AZP114W1(11/13) AAS
>>562
ショルツが対称性を例にIUTの痛いところ
を突いているとか、
スマートで容赦ないから非常に
好感が持てる。
609
(1): 2020/04/13(月)18:08:56.01 ID:dqNdeGIH(2/4) AAS
>>605
なぜそんな事が分かるんですか?
622
(1): 2020/04/13(月)18:29:29.01 ID:Oetq8pjs(1) AAS
>>612
> 望月応援団は機械で検証できる証明を提示していない。
> ゆえにギャップのない証明は存在しない。

未だかつて普通の数学者(Mac Laneの教科書のタイトルにある“working mathematicians”の意味で)が
機械つまりコンピュータで検証できるレベルの証明を提示したことなんて一度としてない

Coqのようなコンピュータ上の証明検証システムで検証できる証明を提示していないのがNGというのならば
フィールズ賞やアーベル賞の受賞者全員から賞を剥奪しないといけなくなる
665
(1): 2020/04/13(月)21:23:00.01 ID:vWi06T7g(7/13) AAS
>>663
ショルツはIUTでやりたいことも最低限は理解してる
仕組みをわかった上でおかしいと言ってる。論争は普通の数学者からすればSSが有利だが、
別に誰も全否定はしてない。説明できるまで認めないよ、という状態。アンチとか関係なくWoitの言う通り
まあ現状これ以上ああだこうだ言うのは確かに無駄だろう。アクセプトしたからって正しい前提で
見てくれるほど甘くはないってこと
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.037s