Free fall and cellular automata

Pablo Arrighi (1) , Gilles Dowek (2, 3)

1 LIS - Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)
2 DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
3 LSV - Laboratoire Spécification et Vérification [Cachan]

Three reasonable hypotheses lead to the thesis that physical phenomena can be described and simulated with cellular automata. In this work, we attempt to describe the motion of a particle upon which a constant force is applied, with a cellular automaton, in Newtonian physics, in Special Relativity, and in General Relativity. The results are very different for these three theories.

Domaines: Logique en informatique [cs.LO]

Pablo Arrighi, Gilles Dowek. Free fall and cellular automata. Electronic Proceedings in Theoretical Computer Science, 2016, 204, pp.1 - 10. ⟨10.4204/EPTCS.204.1⟩. ⟨hal-01421712⟩