Blum-Shub-Smale计算中谕示的基数
计算机科学中的逻辑
2010-06-03 v1
摘要
我们考察了实数子集上的BSS-可归约性关系。最近（匿名地）有人提出一个问题：在BSS计算中，停机问题H是否可能BSS-可归约到一个可数集？直观上，一个可数集似乎不应包含足够的信息来判断一个相当复杂的（不可数）集合（如H）中的成员关系。我们证实了这一直觉，并证明了一个更一般的定理，该定理将谕示集的基数与它所计算的集合在局部意义上的基数联系起来。我们还提到了关于BSS计算和代数实数的其他近期结果。
引用
@article{arxiv.1006.0396,
title = {The Cardinality of an Oracle in Blum-Shub-Smale Computation},
author = {Wesley Calvert and Ken Kramer and Russell Miller},
journal= {arXiv preprint arXiv:1006.0396},
year = {2010}
}