Scifaro

中文

有限可枚举但不可判定的集合

量子物理 2007-05-23 v1

作者: Adonai S. Sant'Anna

在 arXiv 上查看 ↗ PDF ↗

摘要

众所周知，在 Zermelo-Fraenkel（ZF）集合论中，任何有限集都是可判定的。在本文中，我们讨论了一种 ZF 的扩展，其中该结论不再成立。此种扩展为准集合论，其起源在于由量子力学所引发的问题。

关键词

有限集可判定性 Zermelo-Fraenkel 集合论准集合论量子力学

引用

@article{arxiv.quant-ph/0409001,
  title  = {Finite enumerable but undecidable collections},
  author = {Adonai S. Sant'Anna},
  journal= {arXiv preprint arXiv:quant-ph/0409001},
  year   = {2007}
}

备注

9 pages, no figures