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 listsIndo-European Seminar Yana Toom - EU-Russia relations: a view from the European Parliament Mathematical Physics Seminar## Other talksSequential Decision-Making under Uncertainty: Bandit Optimisation Design a Resillient Manufacturing System in the Presence of Change Title TBC 'A Double Delight': Spiritual experiences of recovery from illness in Early Modern England, c.1580-1720 Revolution and Art The mechanical origin of Maxwell's equations |