### Fenner Tanswell

#### 17 Oct, 2pm-3:30pm, LH 201

In this talk I will discuss the kinds of answers we can give to questions of the correctness, rigour and logic of informal proofs if we do not want to reduce them to formal proofs. I will consider the impacts of accepting a wider class of content-dependent inferences, re-examine the importance of practical knowledge of mathematics and see how informal rigour can be developed in accordance with these.