BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Why Mathematical Proof? - Dana Scott (Emeritus\, Carnegie Mellon\,
  Visiting Scholar in Mathematics\, Berkeley) 
DTSTART:20160520T163000Z
DTEND:20160520T173000Z
UID:TALK65188@talks.cam.ac.uk
CONTACT:HoD Secretary\, DPMMS
DESCRIPTION: Mathematicians (and school children) have been giving\nproofs
  for millennia.  Why?  Why are they needed?  How formal\nshould proofs be?
   Are there different systems/philosophies for\norganizing proofs?  Are ax
 ioms always "self-evident"?   Will new\naxioms for Mathematics be proposed
 ?  Will computers eventually\ntake over the drudgery?  Will this lecture m
 ake you worry?
LOCATION:MR2\, CMS
END:VEVENT
END:VCALENDAR