Tue, May 29 2018 Guest Speakers: Harvey Friedman Distinguished University Professor of Mathematics, Philosophy, and Computer Science Emeritus, The Ohio State University