P vs NP

沃伦姆探讨P vs NP难题：从Ruliology视角看计算本质

Stephen Wolfram 发布新文章，尝试从“Ruliology”视角探讨著名的P vs NP问题及计算的本质困难。文章主张通过观察计算宇宙中的简单程序来理解复杂性。该讨论在Hacker News上引发了关于形式化验证的激烈辩论，焦点...