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

DOI10.1016/S1571-0661(04)80380-3zbMath1261.03164MaRDI QIDQ4916185

Iraj Kalantari, Lawrence Welch

Publication date: 19 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

81P68: Quantum computation

03F60: Constructive and recursive analysis

03F65: Other constructive mathematics

03D78: Computation over the reals, computable analysis

Related Items

Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I, Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II, A blend of methods of recursion theory and topology., A blend of methods of recursion theory and topology: a \(\Pi_1^0\) tree of shadow points

Cites Work

• Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
• Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II
• A blend of methods of recursion theory and topology.
• Recursive analysis
• A recursive function, defined on a compact interval and having a continuous derivative that is not recursive
• Computable functionals
• On the definitions of computable real continuous functions
• On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
• Some properties of constructive real numbers and constructive functions
• On singular coverings and properties of constructive functions connected with them
• ∏ 0 1 Classes and Degrees of Theories
• Nicht konstruktiv beweisbare Sätze der Analysis
• Recursive Real Numbers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item