Deduction, Computation, Experiment. Exploring the Effectiveness of Proof