Finite enumerable but undecidable collections
量子物理
2007-05-23 v1
摘要
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.
引用
@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