Abstract geometrical computation for Black hole computation (extended abstract) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

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.
Fichier principal
Vignette du fichier
RR-LIP_2004-15.pdf (202.23 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-00079709 , version 1 (13-06-2006)

Identifiants

  • HAL Id : hal-00079709 , version 1

Citer

Jérôme Durand-Lose. Abstract geometrical computation for Black hole computation (extended abstract). MCU~'04, 2004, France. pp.176-187. ⟨hal-00079709⟩
83 Consultations
62 Téléchargements

Partager

Gmail Facebook X LinkedIn More