Abstract | ||
---|---|---|
Abstract geometrical computation involves drawing colored line segments (traces of signals) according to rules: signals with similar color are parallel and when they intersect, they are replaced according to their colors. Time and space are continuous and accumulations can be devised to unlimitedly accelerate a computation and provide, in a finite duration, exact analog values as limits. In the present paper, we show that starting with rational numbers for coordinates and speeds, the time of any accumulation is a c.e. (computably enumerable) real number and moreover, there is a signal machine and an initial configuration that accumulates at any c.e. time. Similarly, we show that the spatial positions of accumulations are exactly the dc. e. (difference of computably enumerable) numbers. Moreover, there is a signal machine that can accumulate at any c.e. time or d-c.e. position. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-21341-0_15 | UC |
Keywords | Field | DocType |
abstract geometrical computation,real number,exact analog value,present paper,initial configuration,computably enumerable,line segment,rational number,computably enumerable real number,geometrical accumulation,finite duration,signal machine,computable analysis | Line segment,Discrete mathematics,Combinatorics,Rational number,Colored,Spacetime,Real number,Mathematics,Computable analysis,Computation,The Intersect | Conference |
Citations | PageRank | References |
1 | 0.35 | 14 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jérôme Durand-Lose | 1 | 127 | 14.93 |