Computation, Causation & Discovery