On an ad hoc computability structure in a Hilbert space
Yoshikawa, Atsushi
Proc. Japan Acad. Ser. A Math. Sci., Tome 79 (2003) no. 3, p. 65-70 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2003-03-14
Classification:  Computability structure,  effectively separable Hilbert space,  03Dxx,  46Axx 
@article{1116443645,
     author = {Yoshikawa, Atsushi},
     title = {On an ad hoc computability structure in a Hilbert space},
     journal = {Proc. Japan Acad. Ser. A Math. Sci.},
     volume = {79},
     number = {3},
     year = {2003},
     pages = { 65-70},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1116443645}
}

Yoshikawa, Atsushi. On an ad hoc computability structure in a Hilbert space. Proc. Japan Acad. Ser. A Math. Sci., Tome 79 (2003) no. 3, pp.  65-70. http://gdmltest.u-ga.fr/item/1116443645/