On an ad hoc computability structure in a Hilbert space (Q1425415): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.3792/pjaa.79.65 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1986418339 / rank | |||
Normal rank |
Revision as of 02:46, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On an ad hoc computability structure in a Hilbert space |
scientific article |
Statements
On an ad hoc computability structure in a Hilbert space (English)
0 references
16 March 2004
0 references
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.
0 references
effective generating set
0 references
orthonormal basis
0 references
Poincairé-Wigner orthogonalization
0 references
computability structure
0 references