3 papers
math.SG2026
Computable functions as Reeb flows
Kai Cieliebak, Ángel González-Prieto, Eva Miranda
We prove that, given any contact -manifold and any computable function , there exists a defining contact form and a Poincaré section of…
math.DS2025
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…
math.DS2025
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…