#recursion

Neural Networks and ODEs Compute Primitive Recursion via Dynamics, Not Composition

Bournez proves recurrent ReLU networks, polynomial ODEs, and discrete maps all express primitive recursive functions through continuous-time trajectories rather than symbolic subroutine chaining.