This survey reviews the link between computable functions and dynamics, highlighting Turing universality in fluid dynamics and key open problems.
The relationship between computational models and dynamics has captivated mathematicians and computer scientists since the earliest conceptualizations of computation. Recently, this connection has gained renewed attention, fueled by T. Tao's programme aiming to discover blowing-up solutions of the Navier-Stokes equations using an embedded computational model. In this survey paper, we review some of the recent works that introduce novel and exciting perspectives on the representation of computability through dynamical systems. Starting from dynamical universality in a classical sense, we shall explore the modern notions of Turing universality in fluid dynamics and Topological Kleene Field Theories as a systematic way of representing computable functions by means of dynamical bordisms. Finally, we will discuss some important open problems in the area.
No takes yet. Share an insight, caveat, or question.
González-Prieto et al. (2025) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: