我们能否以建设性的方式表达每一个无穷概念？
摘要：在即将出版的书中，专业计算机科学家和物理学家保罗•巴德尼克（Paul Budnik）以经典数学理论为背景，提出了一个优雅的论题：我们可以用合适的数字计算语言来解释皮亚诺算术的任何形式系统的模型。在本文中，我们试图（无需讨论巴德尼克是否成功地证实了自己的论题）找出标准解释经典数学理论中隐含的教条，以及对应于它们的建构性解释的教条。
作者：Bhupinder Singh Anand
论文ID：math/0305249
分类：General Mathematics
分类简称：math.GM
提交时间：2007-05-23