Noncomputable functions in the Blum-Shub-Smale model

DOI10.2168/LMCS-7(2:15)2011zbMath1218.03030arXiv1105.1380OpenAlexW2090160483WikidataQ59199686 ScholiaQ59199686MaRDI QIDQ3003334

Wesley Calvert, Kenneth Kramer, Russell G. Miller

Publication date: 26 May 2011

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1105.1380

zbMATH Keywords

relative computabilityoracle computationBSS machinealgebraic real numbersBlum-Shub-Smale computation

Mathematics Subject Classification ID

Turing machines and related notions (03D10) Computation over the reals, computable analysis (03D78)

Related Items (3)

A topological view on algebraic computation models ⋮ Computation over algebraic structures and a classification of undecidable problems ⋮ Unrealistic models for realistic computations: how idealisations help represent mathematical structures and found scientific computing

This page was built for publication: Noncomputable functions in the Blum-Shub-Smale model