Unpredictability and undecidability in physical systems (1990)

by C Moore
Venue:Physical Review Letters