Switch to: Citations

Add references

You must login to add references.
  1. Constructive mathematics and unbounded operators — a reply to Hellman.Douglas S. Bridges - 1995 - Journal of Philosophical Logic 24 (5):549 - 561.
    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.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Quantum mechanical unbounded operators and constructive mathematics – a rejoinder to Bridges.Geoffrey Hellman - 1997 - Journal of Philosophical Logic 26 (2):121-127.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem. [REVIEW]Geoffrey Hellman - 1993 - Journal of Philosophical Logic 22 (3):221 - 248.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Gleason's theorem is not constructively provable.Geoffrey Hellman - 1993 - Journal of Philosophical Logic 22 (2):193 - 203.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • (2 other versions)Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
    Download  
     
    Export citation  
     
    Bookmark   200 citations  
  • Constructive Functional Analysis.D. S. Bridges & Peter Zahn - 1982 - Journal of Symbolic Logic 47 (3):703-705.
    Download  
     
    Export citation  
     
    Bookmark   22 citations