#  Seminar: Madhu Sudan (Harvard University): "Proofs and Computation" 

 



####  calendar\_today Date and Time 

 **October 3, 2023** 

 09:30AM - 09:30AM EDT 

####  pin\_drop Location 

 **Jefferson 453 and Zoom**  



 

 



 

   ![Madhu Sudan](/sites/g/files/omnuum6611/files/styles/hwp_1_1__360x360_scale/public/mathpicture/files/madhu_sudan.jpg?itok=xdY6lKJs) 

 

  
Zoom link: <https://harvard.zoom.us/j/779283357?pwd=MitXVm1pYUlJVzZqT3lwV2pCT1ZUQT09>  
Speaker: Madhu Sudan (Harvard University)  
Title: **Proofs and Computation**  
Abstract: Proofs have always gone hand in hand with the development of (the theory of) computation. The Turing Machine was conceived to generalize and extend Godel's incompleteness theorem. The P vs. NP question emerged in part out of an effort to understand the complexity of theorem-proving. And modern theories of optimization, cryptography and even aspects of quantum physics are intimately tied 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.

 

 



 

 

 Share on:- [     Facebook ](#)
- [     Twitter ](#)
- [     Linkedin ](#)
 


 Save: [ Add to calendar calendar\_today ](https://mathpicture.fas.harvard.edu/node/1720551/event-feed.ics)  Copy link link