“复杂理论在知识边界上的50年之旅”
A 50-year journey of complex theory at the frontier of knowledge
.fav_bar { 浮动：左边；边界：1px 实心 #a7b1b5；上边距：10px；下边距：20px；} .fav_bar span.fav_bar-label { 文本对齐：中心；填充：8px 0px 0px 0px；浮动：左边；左边距：-1px；边界右边：1px 虚线 #a7b1b5；边界左边：1px 实心 #a7b1b5；显示：块；宽度：69px；高度：24px；颜色：#6e7476；字体加粗；字体大小：12px；文本转换：大写；字体族：Arial, Helvetica, sans-serif；} .fav_bar a, #plus-one { 浮动：左边；边界右边：1px 虚线 #a7b1b5；显示：块；宽度：36px；高度：32px；文本缩进：-9999px；} .fav_bar a.fav_de { 背景：url(../images/icons/de.gif) 无重复 0 0 #fff } .fav_bar a.fav_de:hover { 背景：url(../images/icons/de.gif) 无重复 0 0 #e6e9ea } .fav_bar a.fav_acm_digital { 背景：url(‘../images/icons/acm_digital_library.gif’) 无重复 0px 0px #FFF; } .fav_bar a.fav_acm_digital:hover { 背景：url(‘../images/icons/acm_digital_library.gif’) 无重复 0px 0px #e6e9ea; } .fav_bar a.fav_pdf { 背景：url(‘../images/icons/pdf.gif’) 无重复 0px 0px #FFF; } .fav_bar a.fav_pdf:hover { 背景：url(‘../images/icons/pdf.gif’) 无重复 0px 0px #e6e9ea; } .fav_bar a.fav_more .at-icon-wrapper{ 高度： 33px !important ; 宽度： 35px !important; 填充： 0 !important; 边界右边： none !important; } .a2a_kit { 行高： 24px !important; 宽度： unset !important; 高度： unset !important; 填充： 0 !important; 边界右边： unset !important; 边界左边： unset !important; } .fav_bar .a2a_kit a .a2a_svg { 左边距： 7px; 上边距： 4px; 填充： unset !important; }
2007年秋季学期的第一周，Marco Carmosino迫不得已参加了马萨诸塞大学阿默斯特分校所有计算机科学专业的数学课程。Carmosino 是一名大二学生，考虑辍学设计电子游戏。然后，教授提出了一个简单的问题，它改变了他的人生轨迹：你如何知道数学实际上是有效的？
“这让我坐直，开始认真听讲，” Carmosino回忆道，现在他是IBM的一名理论计算机科学家。他报名参加了一门关于Kurt Gödel工作的可选研讨会，后者的令人晕眩的自我指涉性论证首次揭示了数学推理的局限性，并为未来对计算基础限制的所有工作奠定了基础。这对他来说是一个很大的挑战。
“我100%理解不了，” Carmosino说。”但我知道我想要理解。”
如今，即使是经验丰富的研究人员在面对理论计算机科学中的核心开放问题时，也发现理解供应紧缺，这个问题被称为P与NP问题。实质上，这个问题问的是，长期被认为极其困难的许多计算问题是否实际上可以轻松解决（通过我们尚未发现的秘密捷径），还是像大多数研究人员所怀疑的那样，它们确实很难。涉及的是可知性的本质。
来自Quanta Magazine的完整文章
