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

AIGC动态欢迎阅读

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

关键字：类型,逻辑,数学,关系,对象

文章来源：机器之心

内容字数：6052字

内容摘要：选自量子杂志机器之心编译编辑：Panda W数学证明=计算机程序？什么是柯里-霍华德对应？一些科学发现被赋予了重要的意义，因为揭示了一些新的东西，比如 DNA 的双螺旋结构或黑洞的存在。但是，揭示出的这些东西还具有更深远的意义，因为它们表明：两个之前看起来大不一样的老旧概念事实上却是一样的。比如詹姆斯・克拉克・麦克斯韦发现的方程组表明，电与磁是同一个现象的两个不同方面，而广义相对论则把引力和弯曲的…

原文链接：点此阅读原文：数学逻辑和计算机程序代码之间的深层联系：互为镜像

联系作者

文章来源：机器之心

作者微信：almosthuman2014

作者简介：专业的人工智能媒体和产业服务平台