スレタイ箱入り無数目を語る部屋4

[過去ﾛｸﾞ] スレタイ箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次 1-新

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

980: 2022/11/12(土)18:02 ID:r4QYDURa(12/17) AAS
>>976
「四色問題の計算機を使った証明に意味がない」は君の誤読

ただ、複雑性を計算機の馬鹿力でねじ伏せる証明が数学者の興味を惹かないのは事実