University of Cambridge > Talks.cam > Mordell Lectures > Why Mathematical Proof?

Why Mathematical Proof?

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

  • UserDana Scott (Emeritus, Carnegie Mellon, Visiting Scholar in Mathematics, Berkeley) World_link
  • ClockFriday 20 May 2016, 17:30-18:30
  • HouseMR2, 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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity