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 listsCRASSH events Centre for Health Leadership and Enterprise French Graduate Research Seminar 2008/2009## Other talksThe DNA oxygenase TET1 in mammalian embryonic development and epigenetic reprogramming Type I IFN induces CXCL13-driven B cell recruitment to the lung to enable tertiary GC formation The Heart and Cardiac Diseases Applying for Large Research Grants Loss and damage: Insights from the front lines in Bangladesh Michael Alexander Gage and the mapping of Liverpool, 1828–1836 |