Although there have been suggestions that mathematics is becoming more 'experimental,' and the notion of proof less salient, this has provoked vigorous denials from the mathematical community which continues to maintain that proof is one of the key concepts which characterise the discipline.