Universality in computable dynamical systems: Old and new
🤖 AI Summary
Whether dynamical systems can achieve universal computation remains a fundamental open question at the interface of computability theory and continuous physics. Method: Integrating dynamical systems theory, computable analysis, topological dynamics, and category theory, the paper develops a unifying framework—topological Kleene field theory—to characterize dynamical representations of computable functions. It rigorously establishes the embeddability of Turing machines in fluid dynamics, particularly within solutions to the Navier–Stokes equations, thereby advancing the formal modeling of Turing universality in continuous systems. Contribution/Results: The work clarifies key conceptual boundaries—such as the computability threshold in dissipative systems and physical realizability constraints on computational limits—and synthesizes longstanding open problems in the field. By bridging abstract computability with concrete physical dynamics, it introduces a novel paradigm for grounding computation in continuous physical laws.
Application Category
📝 Abstract
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.
Problem
Research questions and friction points this paper is trying to address.
Exploring computability representation via dynamical systems
Investigating Turing universality in fluid dynamics
Examining computable functions through dynamical bordisms
Innovation
Methods, ideas, or system contributions that make the work stand out.
Embedded computational model for Navier-Stokes solutions
Turing universality in fluid dynamics
Topological Kleene Field Theories representation
🔎 Similar Papers
No similar papers found.
