![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Dana Scott (Emeritus, Carnegie Mellon, Visiting Scholar in Mathematics, Berkeley) 
Friday 20 May 2016, 17:30-18:30
Why Mathematical Proof?
- đ¤ Speaker: Dana Scott (Emeritus, Carnegie Mellon, Visiting Scholar in Mathematics, Berkeley) đ Website
- đ Date & Time: Friday 20 May 2016, 17:30 - 18:30
- đ Venue: MR2, CMS
Questions? Contact
HoD Secretary, DPMMS
Abstract
Mathematicians (and school children) have been giving proofs for millennia. Why? Why are they needed? How formal should proofs be? Are there different systems/philosophies for organizing proofs? Are axioms always “self-evident”? Will new axioms for Mathematics be proposed? Will computers eventually take over the drudgery? Will this lecture make you worry?
Series This talk is part of the Mordell Lectures series.
Included in Lists
- All CMS events
- All Talks (aka the CURE list)
- bld31
- Cambridge Centre for Data-Driven Discovery (C2D3)
- Cambridge talks
- Centre for Health Leadership and Enterprise
- Chris Davis' list
- CMS Events
- custom
- DPMMS info aggregator
- DPMMS lists
- DPMMS Lists
- DPMMS Pure Maths Seminar
- Faculty of Mathematics Lectures
- Featured lists
- Featured talks
- Guy Emerson's list
- Hanchen DaDaDash
- Interested Talks
- Major Public Lectures in Cambridge
- Mordell Lectures
- MR2, CMS
- ndk22's list
- Neurons, Fake News, DNA and your iPhone: The Mathematics of Information
- ob366-ai4er
- personal list
- rp587
- School of Physical Sciences
- Statistical Laboratory info aggregator
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.