>However, suggesting >the continuum hypothesis is like angels dancing on a pin seems to me to >be backwards--it is the objectors who seem to have some kind of >philosophical qualm which almost seems to amount to a religious one. >I'm reminded of Kronecker's remarks about what God did and did not >create in terms of mathematicals.
Ah, but K. begs the question quite severely. Was it the *completed infinity* of the (positive) integers that God created, or was God content to create the Peano axioms? We could go further into an orgy of Gnostic speculation: if the latter, did the completed infinity itself later come into existence thanks to some Demiurge? is there, indeed, a whole army of unalterable law each member of which is concerned with the creation and management of exactly one level of the set-theoretical hierarchy? do we need a more refined terminology than "Demi"urge, possibly taking ordinal notations into account? and so on. All this before The Work of Man even comes into the picture.