COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Proof Archeology: Historical Mathematics from an Interactive Theorem Proving Standpoint

## Proof Archeology: Historical Mathematics from an Interactive Theorem Proving StandpointAdd to your list(s) Download to your calendar using vCal - Jacques Fleuriot (University of Edinburgh)
- Friday 14 July 2017, 11:30-12:30
- Seminar Room 1, Newton Institute.
If you have a question about this talk, please contact info@newton.ac.uk. BPRW01 - Computer-aided mathematical proof The active study of historical mathematics is often viewed as being of peripheral interest to the working mathematician. The original work is instead recast within modern notation and standards of rigour, with the new formulation becoming the authoritative approach, while the analysis of the source text is left to historians. Although this is not inherently bad, since mathematical descriptions and ideas can become obsolete, one may argue that in the case of mathematical expositions that have shaped the field there is still much to be gained by going back to original sources. - http://homepages.inf.ed.ac.uk/jdf – Speaker's homepage
This talk is part of the Isaac Newton Institute Seminar Series series. ## This talk is included in these lists:- All CMS events
- Featured lists
- INI info aggregator
- Isaac Newton Institute Seminar Series
- School of Physical Sciences
- Seminar Room 1, Newton Institute
Note that ex-directory lists are not shown. |
## Other listsMr Keynes and the Moderns FERSA - All Events King's Review## Other talksBayesian Generative Adversarial Networks Constraints on the timescales of magma-intrusion and faulting during continental breakup in Afar. Changing languages in European Higher Education: from official policies to unofficial classroom practices Bradford Hill Seminar with Professor Andrew Morris - Title TBC Systemic anti-cancer therapy Power analysis |