我们能否构造性地表达每个超穷概念？
综合数学
2007-05-23 v1
摘要
在一本即将出版的著作中，专业计算机科学家与物理学家 Paul Budnik 以经典数学理论阐述为背景，提出了一个优雅的论题：我们可以在一种恰当的、数字的、计算的语言中解释皮亚诺算术形式系统的任一模型。在本文中，我们试图——而不讨论 Budnik 是否令人信服地确立了其论题这一问题——辨识出 Budnik 阐述中隐含的经典数学理论标准解释的信条，并将它们对应于经典理论的构造性解释的信条。
引用
@article{arxiv.math/0305249,
title = {Can we express every transfinite concept constructively?},
author = {Bhupinder Singh Anand},
journal= {arXiv preprint arXiv:math/0305249},
year = {2007}
}
备注
40 pages; an HTML version is available at http://alixcomsi.com/Can_we_express_every_transfinite.htm