[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
520(1): 2020/03/29(日)08:54 ID:PhmwLbdr(3/4) AAS
>>517
>あと4色問題は理論ですらない
>(コンピューターを使うと)しらみつぶしで証明できてしまったってだけ
分かってないな
「4色問題」は、”一松信『四色問題 どう解かれ何をもたらしたのか』講談社〈ブルーバックス B-1969〉、2016”にも、書いてあったと思うが
おそらく、「コンピュータを使用しない証明は、得られない！」 最初の例になるのではないかといわれている
「4色問題」は、これはこれで意義があると思う。定理証明系Coqなどにも繋がっている
省16
595: 2020/04/03(金)03:29 ID:HZBBJGPF(5/5) AAS
>>520
>おそらく、「コンピュータを使用しない証明は、得られない！」
>最初の例になるのではないかといわれている
>「4色問題」は、これはこれで意義があると思う。定理証明系Coqなどにも繋がっている
>そういう意味で、「コンピュータしらみつぶし」証明の歴史を開いた意義があると思う
数学的な意味はないし数学的な価値もないし
数学の理論でもない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s