Open Access

Computability of sets in Euclidean space

Pure Mathematics and Applications's Cover Image
Pure Mathematics and Applications
Special issue dedicated to 70th anniversary of prof. Peter Tallos

Cite

[1] Ilona Bereczki. Nem elemi rekurzív függvény létezése. In Az Első Magyar Matematikai Kongresszus közleményei, Magyar Matematikai Kongresszus közleményei, pages 409–417, 1952. cited in [14] and also reviewed in Journal of Symbolic Logic. Search in Google Scholar

[2] Lenore Blum, Felipe Cucker, Michael Shub, and Steve Smale. Complexity and real computation. Springer-Verlag, New York, 1998. With a foreword by Richard M. Karp.10.1007/978-1-4612-0701-6 Search in Google Scholar

[3] Vasco Brattka. The emperor’s new recursiveness: the epigraph of the exponential function in two models of computability, pages 63–72. World Sci. Publ., River Edge, NJ, 2003.10.1142/9789812704979_0005 Search in Google Scholar

[4] Vasco Brattka and Klaus Weihrauch. Computability on subsets of Euclidean space. I. Closed and compact subsets. Theoretical Computer Science, 219:65–93, 1999.10.1016/S0304-3975(98)00284-9 Search in Google Scholar

[5] Antonin Callard and Mathieu Hoyrup. Descriptive complexity on non-Polish spaces. In STACS 2020, volume 154 of 37th Symposium on Theoretical Aspects of Computer Science, page 16, 2020. Search in Google Scholar

[6] Armin Hemmerling. Approximate decidability in euclidean spaces. Mathematical Logic Quarterly, 49:34–56, 2003.10.1002/malq.200310003 Search in Google Scholar

[7] Peter Hertling. Is the Mandelbrot set computable? Mathematical Logic Quarterly, 51:5–18, 2005.10.1002/malq.200310124 Search in Google Scholar

[8] Zvonko Iljazović and Lucija Validžić. Computable neighbourhoods of points in semicomputable manifolds. Annals of Pure and Applied Logic, 168(4):840–859, 2017.10.1016/j.apal.2016.10.015 Search in Google Scholar

[9] Boris A Kushner. The constructive mathematics of AA Markov. The American Mathematical Monthly, 113(6):559–566, 2006.10.1080/00029890.2006.11920338 Search in Google Scholar

[10] Matthew W Parker. Three concepts of decidability for general subsets of uncountable spaces. Theoretical Computer Science, 351(1):2–13, 2006.10.1016/j.tcs.2005.09.052 Search in Google Scholar

[11] Roger Penrose. The emperor’s new mind. The Clarendon Press Oxford University Press, New York, 1989. Search in Google Scholar

[12] Petrus H Potgieter. Hypercomputing the mandelbrot set? arXiv preprint cs/0604003, 2006. Search in Google Scholar

[13] Marian B Pour-El and J. Ian Richards. Computability in analysis and physics. Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1989.10.1007/978-3-662-21717-7 Search in Google Scholar

[14] Rózsa Péter. Rekurzív definíciók, melyek változó számú korábbi függvényértéket használnak fel. Matematikai lapok, 5(1):7–9, 1954. Search in Google Scholar

[15] Cristobal Rojas and Michael Yampolsky. Computable geometric complex analysis and complex dynamics. In Handbook of Computability and Complexity in Analysis, pages 143–172. Springer, 2021.10.1007/978-3-030-59234-9_5 Search in Google Scholar

[16] AM Turing. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 2:230–265, 1936.10.1112/plms/s2-42.1.230 Search in Google Scholar

[17] Klaus Weihrauch. Computable analysis. Texts in Theoretical Computer Science. An EATCS Series. Springer-Verlag, Berlin, 2000. An introduction.10.1007/978-3-642-56999-9 Search in Google Scholar

[18] Martin Ziegler. Computable operators on regular sets. Mathematical Logic Quarterly, 50:392–404, 2004.10.1002/malq.200310107 Search in Google Scholar