Abstract geometrical computation for Black hole computation (extended abstract)
Résumé
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.
Loading...