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.