Prefer a chat interface with context about you and your work?
A simple geometric construction of an ODE with undecidable blow-ups
We present a simple construction of an ODE on $\mathbb{R}^{n}$ where the vector field is smooth, and finite-time blow-up is equivalent to the halting problem for a universal Turing machine.