About me I am a philosopher at Technische Universität Berlin in the Theoretical Philosophy group led by Axel Gelfert. My first book on "Mathematical Rigour and Informal Proof" is out now Cambridge Elements in the Philosophy of Mathematics series. My work is on proofs, rigour, mathematical knowledge, and formalisation. My current work is about the…