Unpredictability and undecidability in dynamical systems (1990)

by C Moore
Venue:Phys. Rev. Lett