On an ad hoc computability structure in a Hilbert space
The author re-examines the ``ad-hoc'' computability structure of \textit{M. B. Pour-El} and \textit{J. I. Richards} [Computability in analysis and physics. Springer-Verlag, Berlin (1989; Zbl 0678.03027)] which was to take an effective generating set as a slightly modified orthonormal basis. He shows that applying the Poincairé-Wigner orthogonalization process to the Pour-El-Richards (loc. cit.) generating set gives an orthonormal effective generating set which yields a third natural computability structure.
scientific article; zbMATH DE number 2058321