Scifaro

中文

超越不可判定

综合数学 2007-05-23 v1

作者: Paola Cattabriga

在 arXiv 上查看 ↗ PDF ↗

摘要

定义了与著名的 Gödel 可证性谓词互补的谓词。由其递归性,得出关于不完全性论证的新推论,并将其推广到关于 Peano 算术与一阶谓词演算的一致性、完备性与可判定性的新结果。

关键词

Gödel 可证性谓词递归性不完全性 Peano 算术一阶谓词演算可判定性

引用

@article{arxiv.math/0606713,
  title  = {Beyond Undecidable},
  author = {Paola Cattabriga},
  journal= {arXiv preprint arXiv:math/0606713},
  year   = {2007}
}

备注

9 pages, for more information see http://it.geocities.com/paola_cattabriga/