arXiv · 2607.10022
Computable functions as Reeb flows
Abstract
We prove that, given any contact $3$-manifold and any computable function $f: \mathbb{N} \dashrightarrow \mathbb{N}$, there exists a defining contact form and a Poincar\'e section of its Reeb flow whose partially defined return map computes $f$.
Explore related subjects
Keep this discovery
Kai Cieliebak, Ángel González-Prieto, Eva Miranda. 2026-07-10. Computable functions as Reeb flows. https://arxiv.org/abs/2607.10022
Cite the original work for its findings. Save a collection to share your selection of sources.