哥德尔不完全性定理是否为大脑可验证地表达与传递心智概念的能力设定了绝对限制？
综合数学
2007-05-23 v1
摘要
对哥德尔形式推理的经典解释意味着，在任何解释下，任何形式数学语言的某些算术命题的真理性本质上是不可验证的。然而，一般科学论述的语言不能允许其数学命题被模糊地解释。因此，这样的语言必须可验证地定义数学真理。我们考虑对经典 Tarskian 真理与哥德尔推理的一种构造性解释，在此解释下任何皮亚诺算术的形式系统都是可验证完全的。我们展示量子力学的一些悖论性概念如何能在数学真理的构造性定义下自然地被表达与解释。
引用
@article{arxiv.math/0407529,
title = {Do Goedel's incompleteness theorems set absolute limits on the ability of the brain to express and communicate mental concepts verifiably?},
author = {Bhupinder Singh Anand},
journal= {arXiv preprint arXiv:math/0407529},
year = {2007}
}
备注
73 pages; this is an updated version of the NQ essay; an HTML version is available at http://alixcomsi.com/Do_Goedel_incompleteness_theorems.htm