Switch to: References

Add citations

You must login to add citations.
  1. Is Iteration an Object of Intuition?Bruno Bentzen - forthcoming - Philosophia Mathematica.
    In 'Intuition, iteration, induction', Mark van Atten argues that iteration is an object of intuition for Brouwer and explains the intuitive character of the act of iteration drawing from Husserl’s phenomenology. I find the arguments for this reading of Brouwer unconvincing. In this note I set out some issues with his claim that iteration is an object of intuition and his Husserlian explication of iteration. In particular, I argue that van Atten does not accomplish his goals due to tensions with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • An intuitionistic interpretation of Bishop’s philosophy.Bruno Bentzen - 2024 - Philosophia Mathematica 32 (3):307-331.
    The constructive mathematics developed by Bishop in Foundations of Constructive Analysis succeeded in gaining the attention of mathematicians, but discussions of its underlying philosophy are still rare in the literature. Commentators seem to conclude, from Bishop’s rejection of choice sequences and his severe criticism of Brouwerian intuitionism, that he is not an intuitionist–broadly understood as someone who maintains that mathematics is a mental creation, mathematics is meaningful and eludes formalization, mathematical objects are mind-dependent constructions given in intuition, and mathematical truths (...)
    Download  
     
    Export citation  
     
    Bookmark