Scifaro

中文

为何布劳威尔认为希尔伯特的排中律需要限定是正确的

综合数学 2007-05-23 v1

作者: Bhupinder Singh Anand

在 arXiv 上查看 ↗ PDF ↗

摘要

我们重述希尔伯特对数论的公理化形式化，并论证他所表述的排中律在标准解释下与公理的图灵可验证模型不一致。

关键词

布劳威尔希尔伯特排中律数论图灵可验证模型标准解释

引用

@article{arxiv.math/0603604,
  title  = {Why Brouwer was right in suggesting that Hilbert's Law of the Excluded Middle needed qualification},
  author = {Bhupinder Singh Anand},
  journal= {arXiv preprint arXiv:math/0603604},
  year   = {2007}
}

备注

10 pages; an HTML version is available at http://alixcomsi.com/Why_Brouwer_was_right.htm