Skip to main content
  1. Courses
  2. 2018 SIAM Annual Meeting
  3. I.E. Block Community Lectur...
  4. AN18 - SP5: I.E. Block Comm...

AN18 - SP5: I.E. Block Community Lecture: How Paradoxes Shape Mathematics and Give Us Self-Verifying Computer Programs