Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2503.16100 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911198064148480 |
|---|---|
| author | González-Prieto, Ángel Miranda, Eva Peralta-Salas, Daniel |
| author_facet | González-Prieto, Ángel Miranda, Eva Peralta-Salas, Daniel |
| contents | 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 partial recursive functions and drawing parallels with Topological Field Theory. Our central result shows that any computable function can be simulated by the flow on a smooth bordism of a vector field with good local properties, setting an alternative model of computation to Turing machines. We thus establish that a computable function can be fully realized within a single go of a dynamical system, differing from previous works where computation is encoded as an iterative process. The output of the computable function emerges directly, laying the groundwork for potential applications that accelerate the physical realization of computation. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2503_16100 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Topological Kleene Field Theories as a model of computation González-Prieto, Ángel Miranda, Eva Peralta-Salas, Daniel Dynamical Systems Formal Languages and Automata Theory Category Theory Differential Geometry 37B10 (Primary) 37C10, 03D10, 68Q04, 18N10 (Secondary) 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 partial recursive functions and drawing parallels with Topological Field Theory. Our central result shows that any computable function can be simulated by the flow on a smooth bordism of a vector field with good local properties, setting an alternative model of computation to Turing machines. We thus establish that a computable function can be fully realized within a single go of a dynamical system, differing from previous works where computation is encoded as an iterative process. The output of the computable function emerges directly, laying the groundwork for potential applications that accelerate the physical realization of computation. |
| title | Topological Kleene Field Theories as a model of computation |
| topic | Dynamical Systems Formal Languages and Automata Theory Category Theory Differential Geometry 37B10 (Primary) 37C10, 03D10, 68Q04, 18N10 (Secondary) |
| url | https://arxiv.org/abs/2503.16100 |