On an ad hoc computability structure in a Hilbert space
Atsushi Yoshikawa · Proceedings of the Japan Academy Series A Mathematical Sciences · 2003
Pour-El & Richards [3] discussed an ad hoc computability structure in an effectively separable Hilbert space taking as an effective generating set a slightly modified one from the original orthonormal basis. We show that an application of the Poincaré-Wigner orthogonalizing procedure to Pour-El & Richards' modified system gives an orthonormal effective generating set which yields a third computability structure.