Douglas Bridges, Karl Svozil  Home/Search
Context
Related
| tph.tuwien.ac.at/~svozil/...bridges.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: tph.tuwien.ac.at/~svozil/p...publ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper is dedicated to the memory of Prof. Gottfried T. Ru ttimann (Update)
Active bibliography (related documents): More All
0.7: A Constructive Proof of Gleason's Theorem - Richman, Bridges (Correct)
0.3: A Constructive Theory of Point-Set Nearness - Vita, Bridges (2001) (Correct)
0.3: Truth or Consequences: Using argumentation to reason about risk - McBurney, Parsons (1999) (Correct)
Similar documents based on text: More All
1.0: Constructive Mathematics, in Theory and Programming Practice - Bridges, Reeves (1997) (Correct)
0.7: The Constructive Implicit Function Theorem and.. - Bridges, Calude.. (1997) (Correct)
0.6: Sequentially Continuous Linear Mappings in Constructive Analysis - Bridges, Mines (1996) (Correct)
BibTeX entry: (Update)
@article{ bridges00constructive,
author = "Douglas Bridges and Karl Svozil",
title = "Constructive mathematics and quantum physics",
journal = "J. Theor. Physics",
volume = "39",
pages = "501--513",
year = "2000",
url = "citeseer.ist.psu.edu/bridges99constructive.html" }
Citations (may not include all citations):143 Foundations of Constructive Mathematics (context) - Beeson - 1985
99 Foundations of Constructive Analysis (context) - Bishop - 1967
75 Constructive Analysis (context) - Bishop, Bridges - 1985
46 Oxford University Press (context) - Dummett, Intuitionism - 1977
34 Intuitionism---An Introduction (context) - Heyting - 1971
27 Springer-Verlag (context) - Weihrauch - 1987
26 Measures on the closed subspaces of a Hilbert space (context) - Gleason - 1957
25 Varieties of Constructive Mathematics (context) - Bridges, Richman - 1987
22 Die formalen Regeln der intuitionistischen Logik (context) - Heyting - 1930
20 A foundation for computable analysis (context) - Weihrauch - 1996
14 Experimental realization of any discrete unitary operator (context) - Reck, Zeilinger et al. - 1994
9 Computable Analysis (context) - Aberth - 1980
9 Lectures on Constructive Mathematical Analysis (context) - Kushner - 1985
5 A constructive look at positive linear functionals on L (context) - Bridges - 1981
5 Constructive mathematics and unbounded operators---A reply t.. (context) - Bridges - 1995
3 Can constructive mathematics be applied in physics (context) - Bridges - 1999
2 Gleason's Theorem is not constructively provable (context) - Hellman - 1993
1 Brouwer's Cambridge Lectures on Intuitionism (context) - van Dalen - 1981
1 and polar decompositions (context) - Bridges, Richman et al.
1 Generalized Stern--Gerlach experiments and the observability.. (context) - Swift, Wright - 1980
1 to appear as a special issue of Theor (context) - Weihrauch, Computability et al. - 1997
1 The lattice of verifiable propositions of the spin-1 system (context) - Shimony - 1977
1 Trace-class operators (context) - Bridges, Richman et al.
1 A constructive proof of Gleason's Theorem - Richman, Bridges
1 Towards a constructive foundation for quantum mechanics (context) - Bridges - 1981
Documents on the same site (http://tph.tuwien.ac.at/~svozil/publ/publ.html): More
Reflections on Quantum Computing - Quantum Computing.. - Calude, Dinneen, Svozil (2001) (Correct)
Undecidability Everywhere? - Svozil (1996) (Correct)
Quantum Logic in Algebraic Approach - Svozil Mikloh Quantum (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC