
This Element looks at the contemporary debate on the nature of mathematical rigour and informal proofs as found in mathematical practice. The central argument is for rigour pluralism: that multiple different models of informal proof are good at accounting for different features...