Hi Jonathan,
"One thing Ray Munroe insisted on that I agree with is that, geometrically speaking, both the minimal case and maximal or extremal cases must be considered as bounding conditions of reality, if we are to completely make sense of things."
This is one of the things in which I disagreed with Ray. A coordinate-free analytical framework without boundary conditions is indifferent to maxima and minima. "Finite and unbounded" is a perfect description of the space of general relativity; only when we reduce it to a measure space, are we compelled to have end points. Spacetime is not so constrained a priori.
Extra dimensions are mathematical artifacts -- string theorists, I think, are largely enchanted with the power that extra degrees of freedom impart to the calculating machinery.
Einstein, himself, though, was not opposed to using extra dimensions (Kaluza-Klein had convinced him of the utility of their argument) provided that "... there are sound physical reasons to do so."
Joy has convinced me that the sound physical reasons lie in spacetime topology that (by the very definition of continuity in topology) is continuous at the extreme of torsion, which remains nonzero. This is the condition that guarantees a consistent measure space from minus infinity to plus infinity -- the same measure space that John Bell chose *without* the topological continuity. Bell's measure space is disconnected before a measurement event, and multiply connected following a series of measurement events. Joy is right that it should have seemed obvious that a measurement function continuous from the initial condition would have to be the product of a simply connected space in order to get EPR's predicted result. Except that it wasn't so obvious (to me or anyone) until Joy's subtle mathematical treatment made it so.
I always get a little uncomfortable here when we get into the properties of the division algebras in which the measurement framework is explained. It isn't the discrete measure space that accounts for the result; it is the simply connected continuous function that allows correlation of points of the parallelized 3-sphere. I look at the division algebras as a scaffold from which to build the framework, and I fully expect that when the measurement *theory* is complete, the scaffold may be removed.
All best,
Tom