arXiv subjects

Grégory Lafitte

Publications and source records attributed to Grégory Lafitte.

2 recordsLinked to original sources

arXiv2010

Infinite Time Cellular Automata: A Real Computation Model

We define a new transfinite time model of computation, infinite time cellular automata. The model is shown to be as powerful than infinite time Turing machines, both on finite and infinite inputs; thus inheriting many of its properties. We then show how to simulate the canonical real computation model, BSS machines, with infinite time cellular automata in exactly ωsteps.

nlin.CG↗

arXiv2009

Busy beavers gone wild

We show some incompleteness results a la Chaitin using the busy beaver functions. Then, with the help of ordinal logics, we show how to obtain a theory in which the values of the busy beaver functions can be provably established and use this to reveal a structure on the provability of the values of these functions.

cs.LO↗