哥德尔的不完备定理是否对大脑表达和可验证地传达心理概念能力设立了绝对限制？
摘要：哥德尔形式推理的经典解释暗示着，在任何解释下，任何形式的数学语言的某些算术命题的真实性基本上无法验证。然而，一种面向一般科学讨论的语言不能允许其数学命题存在歧义的解释。因此，这种语言必须能够可验证地定义数学真理。我们考虑拉斯基真理和哥德尔推理的一种建设性解释，根据此解释，皮亚诺算术的任何正式系统都是可验证完备的。我们展示了在建设性定义的数学真理下，如何自然地表达和解释量子力学的一些悖论概念。
作者：Bhupinder Singh Anand
论文ID：math/0407529
分类：General Mathematics
分类简称：math.GM
提交时间：2007-05-23