Friedman, Harvey M. - 2018
We presented a series of four lectures to the Department of Mathematics at Ohio State University, entitled “Adventures … in the Foundations of Mathematics”. Lecture 1, “The Structure of Proofs”, April 28, 2003. Lecture 2, “The Axioms for … Mathematics”, April 30, 2003. Lecture 3, “Do We Need Less Axioms?”, May 5, 2003. Lecture 4, “Do We Need More Axioms?”, May 7, 2003 …