Mathematical Rigour and Informal Proof

This Element surveys some of the main options in the literature: the standard view that rigour is logical, the models of proofs as arguments and dialogues, the recipe model of proofs as guiding actions and activities, and the idea of mathematical rigour as an intellectual virtue.