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 INI IT. 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
- bld31
Note that ex-directory lists are not shown. |
## Other listsCambridge University Geographical Society (CUGS) talks Cambridge Ukrainian Studies Lecture Series Andrew Chamblin Memorial Lecture 2015 Techfugees Cambridge Type the title of a new list here women@CL Talklet Series## Other talksAn intellectual history of the universal basic income Identifying new gene regulating networks in immune cells South American Opuntioids Assessment of data completeness in the National Cancer Registry and the impact on the production of Cancer Survival Statistics The Particulars of Particulates: Granular Research on Dunes and Avalanches |