MS18 - SP5: I.E. Block Community Lecture: How Paradoxes Shape Mathematics and Give Us Self-Verifying Computer Programs Presentation: Thomas Hales, University of Pittsburgh, USA, 55 min 38 sec
MS18 - SP5: I.E. Block Community Lecture: How Paradoxes Shape Mathematics and Give Us Self-Verifying Computer Programs Document: MS18 - SP5: I.E. Block Community Lecture: How Paradoxes Shape Mathematics and Give Us Self-Verifying Computer Programs