无限数学专业知识不可计算性的论证 电子书下载

原名:an argument for the uncomputability of infinitary mathematical expertise
作品简介:数学、物理等领域在本质上有着不同的理解。我所熟悉的pert系统技术只是运行中的一阶逻辑，我没有让我先用英语表达它：..egy for chess|它可以以有限状态自动机保证的形式进行编码……