Saturday, December 25, 2010
Michael Potter's survey of set theory and its philosophical interpretations - platonist, constructivist, formalist, etc. - is thought provoking and incredibly balanced. Its eschews polemics to perform a deep survey of set theory, the attempts at its axiomatization, and the ontological implications of supporting some or all of the classical axioms used to corral the complex set of ideas embodied in term set. It is also a great preparation for those that become intrigued by the insights offered in non-well-founded set theory. Potter's work is a great place to start, I only wish it had been published two decades ago.