I’m very grateful to mathematician Hugh Woodin, Professor of Philosophy and Mathematics at Harvard, for taking the time on multiple occasions to discuss this topic with me and help me wrap my (finite) head around it.
I’m also grateful to David Eisenbud, the Director of the Mathematical Sciences Research Institute (MSRI) and professor of mathematics at the University of California, Berkeley, for his help and for connecting me with Hugh Woodin.
And of course, big thanks to Brady Haran who created the “mile of pi†seen in this video and connected me with all these mathematicians in the first place. His channel, Numberphile, is superb: https://www.youtube.com/user/n...
classic book that helps introduce concept of axioms: “Introduction to the Foundations of Mathematics†by Raymond L. Wilder: http://amzn.com/0486488209