摘要: 在数学和计算机领域有很多重要的猜想,比如哥德巴赫猜想、黎曼猜想、ABC猜想,P&NP猜想等等,有些猜想是“简单的”,有些问题则已经困扰了全人类几百年。但是这些猜想里,大部分普通人都很难能看懂。 最近,有个新闻华裔数学家黄皓(Hao Huang)仅用两页纸就证明了一个近30年的计算机科学猜想——布尔函 阅读全文
posted @ 2021-01-11 20:29 Veritas_des_Liberty 阅读(457) 评论(0) 推荐(0) 编辑