4 found
Order:
  1.  35
    Did Bishop Have a Philosophy of Mathematics?Helen Billinge - 2003 - Philosophia Mathematica 11 (2):176-194.
    When Bishop published Foundations of Constructive Analysis he showed that it was possible to do ordinary analysis within a constructive framework. Bishop's reasons for doing his mathematics constructively are explicitly philosophical. In this paper, I will expound, examine, and amplify his philosophical arguments for constructivism in mathematics. In the end, however, I argue that Bishop's philosophical comments cannot be rounded out into an adequate philosophy of constructive mathematics.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  2.  24
    A Constructive Formulation of Gleason's Theorem.Helen Billinge - 1997 - Journal of Philosophical Logic 26 (6):661-670.
    In this paper I wish to show that we can give a statement of a restricted form of Gleason's Theorem that is classically equivalent to the standard formulation, but that avoids the counterexample that Hellman gives in "Gleason's Theorem is not Constructively Provable".
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  3. George Boolos, The Logic of Provability Reviewed By.Helen Billinge - 1995 - Philosophy in Review 15 (5):310-312.
     
    Export citation  
     
    My bibliography  
  4. George Boolos, The Logic of Provability. [REVIEW]Helen Billinge - 1995 - Philosophy in Review 15:310-312.
     
    Export citation  
     
    My bibliography