Why Mathematical Proof?

Add to your list(s) Download to your calendar using vCal

• Dana Scott (Emeritus, Carnegie Mellon, Visiting Scholar in Mathematics, Berkeley)
• Friday 20 May 2016, 17:30-18:30
• MR2, CMS.

If you have a question about this talk, please contact HoD Secretary, DPMMS.

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?

This talk is part of the Mordell Lectures series.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge talks
• Centre for Health Leadership and Enterprise
• Chris Davis' list
• DPMMS Lists
• DPMMS Pure Maths Seminar
• DPMMS info aggregator
• DPMMS lists
• Faculty of Mathematics Lectures
• Featured lists
• Featured talks
• Guy Emerson's list
• Hanchen DaDaDash
• Interested Talks
• MR2, CMS
• Major Public Lectures in Cambridge
• Mordell Lectures
• Neurons, Fake News, DNA and your iPhone: The Mathematics of Information
• School of Physical Sciences
• Statistical Laboratory info aggregator
• Trust & Technology Initiative - interesting events
• bld31
• custom
• ndk22's list
• ob366-ai4er
• personal list
• rp587

Note that ex-directory lists are not shown.