Thinking of Turing’s 1-d projection, whose value is 1…., having already been labeled as positive (and real).
What a simple diagram does, that yards of theoretical papers did not!
I think the unitary is part of the normal, except the product is real and positive (and 1). that is, complex numbers whose product turns out is also complex but with zero imaginary (i.e. effectively real).
So what is the space of unitary and projection called (ignoring their intersection)? Can we assume that unitary – in complex coordinates – is the analogue of projection space – with the particular property that the value is identity? That is we have two ways of expressing idempotency (in the real space, and the adjoint spaces)?
looking at that intersection, did Turing – having projected – intimate that the process was unitary and THUS 1 (given a choice of 0 or 1)
Is the point of 0 versus 1 to signal wholly indistinguishable for 1 whereas otherwise (not wholly certain, the whole class of which gets assigned 0)? See http://en.wikipedia.org/wiki/Projection_(linear_algebra)