量子コンピュータは数学の証明に使えるか？

[過去ﾛｸﾞ] 量子コンピュータは数学の証明に使えるか？ (74ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

42(3): 2019/01/02(水)06:10 ID:LG41yxYx(2/2) AAS
>>36１３２人目の素数さん2018/12/25(火) 20:06:45.10ID:N26450oV
＞「四色問題」はコンピューターが解決したんだぞ。

あんなの「証明」じゃあない。

43(1): 2019/01/02(水)07:11 ID:AWZPWSYk(1) AAS
>>42
ていうか「4色問題なんて数学ではなかった」ということ。

45: 2019/01/12(土)10:09 ID:WpDW33/I(1) AAS
>>42
四色定理のCPUでの解決は検算以上証明以下？

47: 2019/02/02(土)13:43 ID:9q4QBfin(2/3) AAS
>>42
なこたーない。