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
- bld31
Note that ex-directory lists are not shown. |
## Other listsType the title of a new list here Regional Zebrafish meeting Networking Event - Cambridge Social Ventures## Other talksEmma Hart: Remaking the Public Good in the American Marketplace during the Early Republic Interrogating T cell signalling and effector function in hypoxic environments Vest up! Working with St John's Medical Response Team Stokes-Smoluchowski-Einstein-Langevin theory for active colloidal suspensions Participatory approaches to encourage responsible use of antibiotics in livestock “It’s like they’re speaking a different language!” Investigating an accidental resistance to school mathematics reform |