Clockwork or Turing universe? — remarks on causal determinism and computability (1999)

by S Barry Cooper
Venue:Models and Computability, London Mathematical Society Lecture Notes Series 259