Skip to main content
  1. Courses
  2. 2018 SIAM Conference on Mat...
  3. I.E. Block Community Lectur...
  4. MS18 - SP5: I.E. Block Comm...

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