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 Assistants: From Symbolic Logic To Real Mathematics?

## Proof Assistants: From Symbolic Logic To Real Mathematics?Add to your list(s) Download to your calendar using vCal - Larry Paulson (University of Cambridge)
- Monday 10 July 2017, 14:30-15: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 Mathematicians have always been prone to error. As proofs get longer and more complicated, the question of correctness looms ever larger. Meanwhile, proof assistants — formal tools originally developed in order to verify hardware and software — are growing in sophistication and are being applied more and more to mathematics itself. When will proof assistants finally become useful to working mathematicians? 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 listsCombinatorics Seminar Disability Wolfson College Informal Lunch-time Seminars## Other talksThe Shape and Function of the Nasal Cavity Dendritic cells and antigen export into the cytosol for cross-presentation Consciousness Brexit does not mean Brexit Patterns of bacterial colonies The surprising subtleties of changing emotional memory |