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