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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

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

Through your library

Similar books and articles

Located Operators.Bas Spitters - 2002 - Mathematical Logic Quarterly 48 (S1):107-122.
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.

Analytics

Added to PP
2009-01-28

Downloads
47 (#105,769)

6 months
15 (#941,355)

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.
Gleason's theorem has a constructive proof.Fred Richman - 2000 - Journal of Philosophical Logic 29 (4):425-431.

View all 9 citations / Add more citations

References found in this work

The emperor’s new mind.Roger Penrose - 1989 - Oxford University Press.
Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.

Add more references