University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Go forth and multiply! Imperatives in mathematical proofs

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Go forth and multiply! Imperatives in mathematical proofs

Download to your calendar using vCal

If you have a question about this talk, please contact INI IT .

BPR - Big proof

In this talk I will emphasise the activity of proving in securing mathematical knowledge. I will be drawing on observations of the language used in mathematical proofs to argue that the proofs themselves can contain a mix of propositional and imperatival content, very much in the style of a recipe or set of instructions for other mathematicians to carry out the same proving activity. This also applies to diagrams in proofs, which I shall compare to instructions for LEGO models and Ikea furniture. The idea is that this will then provide a natural picture of informal proofs and their epistemic significance, fitting in with modern approaches in epistemology, especially on knowledge-how and virtue epistemology.



This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

•Latimer Room, Clare College (Old Court on Trinity Lane, behind King's College chapel) Zoom meeting ID 854 9009 2228. Passcode 951 970. Senior Parlour, Gonville & Caius College

Other talks

When Programmes Disagree About Programmes: Code Poetry and the Problem of Programme–Programme Communication Novel neuroimaging methods in Lewy body dementia Tea and Coffee Break Title to be confirmed Gastroenterology and Acute Medicine Filial Lines: Art Spiegelman, Alison Bechdel, and Comics Form
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity