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 listsCrisisCamp Cambridge Celebrating 40 years of women at Trinity The obesity epidemic: Discussing the global health crisis## Other talksThe glycobiology of antibodies, Fc receptors and the immune response Long-running programs Chains and Invisible Threads: Marx on Republican Liberty and Domination Recent advances in understanding climate, glacier and river dynamics in high mountain Asia Simulating wave propagation in elastic systems using the Finite-Difference-Time-Domain method Women's Staff Network: Career Conversations |