Skip to main content
Article thumbnail
Location of Repository

Noncomputable functions in the Blum-Shub-Smale model

By Wesley Calvert, Ken Kramer and Russell Miller

Abstract

Working in the Blum-Shub-Smale model of computation on the real numbers, we answer several questions of Meer and Ziegler. First, we show that, for each natural number d, an oracle for the set of algebraic real numbers of degree at most d is insufficient to allow an oracle BSS-machine to decide membership in the set of algebraic numbers of degree d + 1. We add a number of further results on relative computability of these sets and their unions. Then we show that the halting problem for BSS-computation is not decidable below any countable oracle set, and give a more specific condition, related to the cardinalities of the sets, necessary for relative BSS-computability. Most of our results involve the technique of using as input a tuple of real numbers which is algebraically independent over both the parameters and the oracle of the machine

Topics: Computer Science - Logic in Computer Science, Mathematics - Logic, F.1.1, F.1.3, I.1.2
Year: 2011
DOI identifier: 10.2168/LMCS-7(2:15)2011
OAI identifier: oai:arXiv.org:1105.1380
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://arxiv.org/abs/1105.1380 (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.