On an ad hoc computability structure in a Hilbert space (Q1425415)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On an ad hoc computability structure in a Hilbert space |
scientific article; zbMATH DE number 2058321
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On an ad hoc computability structure in a Hilbert space |
scientific article; zbMATH DE number 2058321 |
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
