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 listsCambridge University Geographical Society Department of History and Philosophy of Science Early Modern Economic and Social History Seminars## Other talksJane Austen in the (primary) classroom Giving the Gift of Offence: How Far Can you go in Speaking the Unspeakable? The role of myosin VI in connexin 43 gap junction accretion Microtubule Modulation of Myocyte Mechanics Rapid host and pathogen co-evolution following a severe emerging infectious outbreak Dynamical remodelling of biological interfaces |