Articles
Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis

https://doi.org/10.1016/S1571-0661(04)80380-3Get rights and content
Under a Creative Commons license
open access

Abstract

In this paper we summarize our approach and findings in a point-free setting for recursive topology and recursive analysis. Recursive analysis has received intensive attention recently and our approach, while differing from those of other schools, does have connections to them. Here, we also present some of our findings on quantum and total recursive functions on the reals, introduce our classification of nonrecursive points, and remark on the connections between our work and the works of others.

Cited by (0)

1

We wish to acknowledge, with gratitude, encouragement from Vasco Brattka and Klaus Weihrauch for preparation and presentation of this paper. 23 June 2002