数学逻辑和计算机程序代码之间的深层联系：互为镜像

文章预览

点击上方“ 图灵人工智能 ”，选择“星标”公众号 您想知道的人工智能干货，第一时间送达                           选自量子杂志 机器之心编译 编辑：Panda W 数学证明=计算机程序？什么是柯里-霍华德对应？ 一些科学发现被赋予了重要的意义，因为揭示了一些新的东西，比如 DNA 的双螺旋结构或黑洞的存在。但是，揭示出的这些东西还具有更深远的意义，因为它们表明：两个之前看起来大不一样的老旧概念事实上却是一样的。比如詹姆斯・克拉克・麦克斯韦发现的方程组表明，电与磁是同一个现象的两个不同方面，而广义相对论则把引力和弯曲的时空联系到了一起。 柯里 - 霍华德对应（Curry-Howard correspondence）也是一样，并且它关联的不仅仅是一个领域中的两个不同概念，而是两个完整的学科：计算机科学和数学逻辑。这种对应关系也被称 ………………………………