1. Helen Billinge (2003). Did Bishop Have a Philosophy of Mathematics? 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 (8 more)  
     
    My bibliography  
     
    Export citation  
  2. Helen Billinge (1997). A Constructive Formulation of Gleason's Theorem. 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)  
     
    My bibliography  
     
    Export citation  
  3. Helen Billinge (1995). George Boolos, The Logic of Provability Reviewed By. Philosophy in Review 15 (5):310-312.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation