Journal of Philosophical Logic 26 (2):121-127 (1997)
|Abstract||As argued in Hellman (1993), the theorem of Pour-El and Richards (1983) can be seen by the classicist as limiting constructivist efforts to recover the mathematics for quantum mechanics. Although Bridges (1995) may be right that the constructivist would work with a different definition of closed operator, this does not affect my point that neither the classical unbounded operators standardly recognized in quantum mechanics nor their restrictions to constructive arguments are recognizable as objects by the constructivist. Constructive substitutes that may still be possible necessarily involve additional incompleteness in the mathematical representation of quantum phenomena. Concerning a second line of reasoning in Hellman (1993), its import is that constructivist practice is consistent with a liberal stance but not with a radical, verificationist philosophical position. Whether such a position is actually espoused by certain leading constructivists, they are invited to clarify.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Douglas Bridges & Steeve Reeves (1999). Constructive Mathematics in Theory and Programming Practice. Philosophia Mathematica 7 (1):65-104.
I. Loeb (2012). Questioning Constructive Reverse Mathematics. Constructivist Foundations 7 (2):131-140.
Geoffrey Hellman (1992). On the Scope and Force of Indispensability Arguments. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:456 - 464.
Douglas S. Bridges (1999). Can Constructive Mathematics Be Applied in Physics? Journal of Philosophical Logic 28 (5):439-453.
H. Billinge (2000). Applied Constructive Mathematics: On Hellman's 'Mathematical Constructivism in Spacetime'. British Journal for the Philosophy of Science 51 (2):299-318.
Adrian Heathcote (1990). Unbounded Operators and the Incompleteness of Quantum Mechanics. Philosophy of Science 57 (3):523-534.
Feng Ye (2000). Toward a Constructive Theory of Unbounded Linear Operators. Journal of Symbolic Logic 65 (1):357-370.
Geoffrey Hellman (1993). Constructive Mathematics and Quantum Mechanics: Unbounded Operators and the Spectral Theorem. Journal of Philosophical Logic 22 (3):221 - 248.
Douglas S. Bridges (1995). Constructive Mathematics and Unbounded Operators — a Reply to Hellman. Journal of Philosophical Logic 24 (5):549 - 561.
Added to index2009-01-28
Total downloads6 ( #145,615 of 549,090 )
Recent downloads (6 months)1 ( #63,317 of 549,090 )
How can I increase my downloads?