转载形式证明机器的光荣与人的梦想

转载 形式证明 机器的光荣与人的梦想原文地址：形式证明：机器的光荣与人的梦想作者：科学松鼠会Offord教授和我最近发现我们在《数学年鉴》中的论文存在一个蹊跷的错误。一个公式中的加号被写成了一个乘号，