BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Madhu Sudan (Harvard University)
DTSTART:20231003T133000Z
DTEND:20231003T143000Z
DTSTAMP:20260423T003237Z
UID:MathPic/113
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/MathPic/113/
 ">Proofs and Computation</a>\nby Madhu Sudan (Harvard University) as part 
 of Mathematical Picture Language Seminar\n\n\nAbstract\nProofs have always
  gone hand in hand with the development of (the theory of) computation. Th
 e Turing Machine was conceived to generalize and extend Godel's incomplete
 ness theorem. The P vs. NP question emerged in part out of an effort to un
 derstand the complexity of theorem-proving. And modern theories of optimiz
 ation\, cryptography and even aspects of quantum physics are intimately ti
 ed to novel notions associated with proofs such interaction and randomness
 . In this talk we will survey some of these classical connections as well 
 as the more modern ones\; and ponder some\, as of yet unresolved\, enigmas
  associated with proofs we use in day to day (mathematical) life.\n
LOCATION:https://researchseminars.org/talk/MathPic/113/
END:VEVENT
END:VCALENDAR