AN18 - 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
AN18 - SP5: I.E. Block Community Lecture: How Paradoxes Shape Mathematics and Give Us Self-Verifying Computer Programs Document: AN18 - SP5: I.E. Block Community Lecture: How Paradoxes Shape Mathematics and Give Us Self-Verifying Computer Programs