A simple geometric construction of an ODE with undecidable blow-ups

Abstract

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.

1 figure