> thank you, I think you've advertised this draft quite adequately for the
> time being. I'm quite willing to look at it, but there are numerous
Thanks! now I will relax and go home :)
> every possible alternative architecture to conclude that (a) most or all
> of these identifiers are necessary, and (b) reserving space for each
> one separately, and maintaining all of the mappings between them,
> would be onerous.
But before I go:
Condition (b) presumes on possible alternative architectures.
My favourite example is the parallel line axiom - in retrospect,
it was *because* it was an axiom that we ended up having two sets
of alternative geometries, elliptic and hyperbolic, one of which
(Riemannian = elliptic) became the basis of general relativity.
Currently, it looks like (b) is axiomatic, but I already break it,
and I'm sure the younger, smarter generations will think of new
ways we can't begin to imagine.
happy holidays,
-p.
