The Black hole model of computation provides super-Turing computing power since it offers the possibility to decide in finite (observer's) time any recursively enumerable (R.E.) problem. In this paper, we provide a geometric model of computation, conservative abstract geometrical computation, that, although being based on rational numbers, has the same property: it can simulate any Turing machine and can decide any R.E. problem through the creation of an accumulation. Finitely many signals can leave any accumulation, and it can be known whether anything leaves. This corresponds to a black hole effect. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Durand-Lose, J. (2005). Abstract geometrical computation for black hole computation. In Lecture Notes in Computer Science (Vol. 3354, pp. 176–187). Springer Verlag. https://doi.org/10.1007/978-3-540-31834-7_14
Mendeley helps you to discover research relevant for your work.