The coordinates of isolated accumulations are exactly computable real numbers

Abstract : In Abstract geometrical computation, Turing computability is provided by simples machines involving drawing colored line segments, called signals, accordin g to simple rules: signals with similar color are parallel and when they intersect, they are replaced according to their colors. These signal machines also provide a very powerful model of analog computation following both the approaches of computable analysis and of Blum, Shub and S male. The key is that accumulations can be devised to accelerate the computation and provide an exact analog values as limits in finite time. In the present paper, we show that starting with rational numbers for coordinates and speeds, the collections of positions of accumulations in both space and time are exactly the computable real numbers (as defined by computable analysis). Moreover, there is a signal machine that can provide an accumulation at any computable place and date.
Liste complète des métadonnées
Contributor : Jérôme Durand-Lose <>
Submitted on : Sunday, May 16, 2010 - 7:27:16 PM
Last modification on : Thursday, January 17, 2019 - 3:06:04 PM


  • HAL Id : hal-00483711, version 1



Jérôme Durand-Lose. The coordinates of isolated accumulations are exactly computable real numbers. 6th Int. Conf. Computability in Europe (CiE '10) (abstracts and extended abstracts of unpublished papers), Jun 2010, Portugal. pp.??-??, 2010. 〈hal-00483711〉



Record views