15 citations · 17 across the 13 of their papers we have counts for
3 papers · 2 filters
Two-Dimensional Billiards Are Turing Complete
Eva Miranda, Isaac Ramos
We show that two-dimensional billiard systems can simulate universal Turing machines. Billiards serve as idealized models of particle motion with elastic reflections and arise natu…
Universality in computable dynamical systems: Old and new
Ángel González-Prieto, Eva Miranda, Daniel Peralta-Salas
The relationship between computational models and dynamics has captivated mathematicians and computer scientists since the earliest conceptualizations of computation. Recently, thi…
Topological Kleene Field Theories as a model of computation
Ángel González-Prieto, Eva Miranda, Daniel Peralta-Salas
In this article, we establish the foundations of a computational field theory, which we term Topological Kleene Field Theory (TKFT), inspired by Stephen Kleene's seminal work on pa…