Constructive mathematics and unbounded operators — a reply to Hellman

Journal of Philosophical Logic 24 (5):549 - 561 (1995)
  Copy   BIBTEX

Abstract

It is argued that Hellman's arguments purporting to demonstrate that constructive mathematics cannot cope with unbounded operators on a Hilbert space are seriously flawed, and that there is no evidence that his thesis is correct

Categories

Keywords

Reprint years

DOI

10.1007/bf01052602

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,047

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Quantum mechanical unbounded operators and constructive mathematics – a rejoinder to Bridges.Geoffrey Hellman - 1997 - Journal of Philosophical Logic 26 (2):121-127.
Geoffrey Hellman. Constructive mathematics and quantum mechanics: unbounded operators and the spectral theorem. Journal of philosophical logic, vol. 22 , pp. 221–248. [REVIEW]Boris A. Kushner - 1999 - Journal of Symbolic Logic 64 (1):397-398.
Located Operators.Bas Spitters - 2002 - Mathematical Logic Quarterly 48 (S1):107-122.
Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem. [REVIEW]Geoffrey Hellman - 1993 - Journal of Philosophical Logic 22 (3):221 - 248.
Toward a constructive theory of unbounded linear operators.Feng Ye - 2000 - Journal of Symbolic Logic 65 (1):357-370.
Constructive compact operators on a Hilbert space.Hajime Ishihara - 1991 - Annals of Pure and Applied Logic 52 (1-2):31-37.
Can constructive mathematics be applied in physics?Douglas S. Bridges - 1999 - Journal of Philosophical Logic 28 (5):439-453.
On Imbedding Operators.G. E. Mints & V. P. Orevkov - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 64--66.
A Definitive Constructive Open Mapping Theorem?Douglas Bridges & Hajime Ishihara - 1998 - Mathematical Logic Quarterly 44 (4):545-552.
Weak-operator Continuity and the Existence of Adjoints.Douglas Bridges & Luminita Dediu - 1999 - Mathematical Logic Quarterly 45 (2):203-206.

Analytics

Added to PP
2009-01-28

Downloads
63 (#332,075)

6 months
5 (#1,013,271)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mathematical constructivism in spacetime.Geoffrey Hellman - 1998 - British Journal for the Philosophy of Science 49 (3):425-450.
Can constructive mathematics be applied in physics?Douglas S. Bridges - 1999 - Journal of Philosophical Logic 28 (5):439-453.
Toward a constructive theory of unbounded linear operators.Feng Ye - 2000 - Journal of Symbolic Logic 65 (1):357-370.

View all 9 citations / Add more citations

References found in this work

Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.

Add more references