  We discuss the position of intuitionistic mathematics within the field of
constructive mathematics. We discuss some principles defended and used by
Brouwer but rejected by Bishop, like the Coninuity Principle, the Fan Theorem
and the Bar Theorem. We explain some of their consequences in the development
of constructive mathematics, like the Borel Hierarchy Theorem and the
Intuitionistic Ramsey Theorem. We go into the theory of measure and integration
as Bishop followed in this field a path different from Brouwer's.
