[過去ログ]
Inter-universal geometry と ABC 予想 46 (1002レス)
Inter-universal geometry と ABC 予想 46 http://rio2016.5ch.net/test/read.cgi/math/1585967607/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
56: 132人目の素数さん [sage] 2020/04/04(土) 18:21:06 ID:/AQd+f0G ある人が架空のabcdef予想から定義と公理作って理論体系作って証明したとする すると形式的にはその証明は正しいけど、そうなると数学界に受けいられる受け入れられないの判別基準ってどうなんだろうね。 これこれの理論体系の基で、、証明して下さらないと受付ませんよーってなるのかな? いやこれは記号と多くの人にコンセンサスがある推論規則使ってるんだから「数学」だ、だから認めないとおかしいって終わりのないバトルになりそう。 http://rio2016.5ch.net/test/read.cgi/math/1585967607/56
76: 132人目の素数さん [sage] 2020/04/04(土) 19:13:38 ID:/AQd+f0G 400年の難問、「ケプラー予想の証明」やっと100%終わる https://www.gizmodo.jp/2014/08/post_15285.html こういう方法もある、参考まで http://rio2016.5ch.net/test/read.cgi/math/1585967607/76
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.033s