arXivDaily arXiv每日学术速递 周一至周五更新
arXiv quant-ph/0409001quant-ph
收藏

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

Finite enumerable but undecidable collections

Adonai S. Sant'Anna

摘要:

众所周知,在Zermelo-Fraenkel(ZF)集合论中,任何有限集合都是可判定的。在本文中,我们讨论了ZF的扩展,这个结果不再有效。这种扩展是准集合论,它起源于量子力学激发的问题。

英文摘要:

It is well known that in Zermelo-Fraenkel (ZF) set theory any finite set is decidable. In this paper we discuss an extension of ZF where this result is no longer valid. Such an extension is quasi-set theory and it has its origin on problems motivated by quantum mechanics.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑