Deduction, computation, experiment : exploring the effectiveness of proof (2008)