Translator Disclaimer
March 2003 On an ad hoc computability structure in a Hilbert space
Atsushi Yoshikawa
Proc. Japan Acad. Ser. A Math. Sci. 79(3): 65-70 (March 2003). DOI: 10.3792/pjaa.79.65

Abstract

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.

Citation

Download Citation

Atsushi Yoshikawa. "On an ad hoc computability structure in a Hilbert space." Proc. Japan Acad. Ser. A Math. Sci. 79 (3) 65 - 70, March 2003. https://doi.org/10.3792/pjaa.79.65

Information

Published: March 2003
First available in Project Euclid: 18 May 2005

zbMATH: 1052.03039
MathSciNet: MR1967048
Digital Object Identifier: 10.3792/pjaa.79.65

Subjects:
Primary: 03Dxx
Secondary: 46Axx

Rights: Copyright © 2003 The Japan Academy

JOURNAL ARTICLE
6 PAGES


SHARE
Vol.79 • No. 3 • March 2003
Back to Top