[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
18(1): 2020/03/02(月)18:40:46.92 ID:qZbSJaw+(1) AAS
複雑系も解けるし暗号も解けるの？
なんでもできるな
193(1): 2020/03/09(月)08:08:41.92 ID:BSFI87Es(2/2) AAS
>>191
ご本尊ですか？
685: 2020/04/03(金)15:26:39.92 ID:fQO/IGKr(3/17) AAS
>>667
これが全てだろうな
掲載はされるが広くは受け入れられないというねじれが当面は存在することになる
ある意味、ずっと査読中のまま曖昧な状態よりは好ましいと思う
728: 2020/04/03(金)16:46:35.92 ID:6WlQLjmp(4/5) AAS
コントのABCか
898: 2020/04/04(土)01:17:27.92 ID:B/zbSgrn(6/8) AAS
合ってるかどうかでお祭り騒ぎするってのは受験勉強的と言うかスポーツ競技的発想
数学は具体的な新しい景色を提供するところに驚きと驚嘆がある
956: 2020/04/04(土)09:04:53.92 ID:B/zbSgrn(8/8) AAS
>>907
>証明が正しいかどうかより
>証明の応用がどれだけあるかだよな
まさにその通り
フェルマー予想の解決は
非可換類体論やR＝Tなどの数学概念の進展をもたらした
「フェルマー予想が解けた」という権威、慰み、神輿の担ぎ上げ、
省3
974(2): 2020/04/04(土)10:38:20.92 ID:DqGScTxQ(2/2) AAS
>>961
それは証明できない
全称命題と一般に呼ばれるものは二種類ある
∀x∈X P(x)と∀x P(x)
∃x∈X P(x)と∃x P(x)
全称命題から存在命題が証明できるとは∀x P(x)から∃x P(x)は証明できることを言ってる
じゃあ∀x∈X P(x)から∃x∈X P(x)は証明できないのかよというと、君の言う通り証明できない
省2
992: 2020/04/04(土)12:08:36.92 ID:9DVl+mzi(1) AAS
モッチーおめでとう
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.049s