Deduction, Computation, Experiment: Exploring the