Deduction, Computation, Experiment: Exploring the Effectiveness of Proof