Well, both Brouwer and Bishop fall into the category of constructivism for philosophical reasons. As I mentioned, this doesn't garner much sympathy from ordinar

Well, both Brouwer and Bishop fall into the category of constructivism for philosophical reasons. As I mentioned, this doesn't garner much sympathy from ordinary mathematicians. Brouwer and Bishop wrote against the practice of classical mathematics with considerable vitriol, as opposed to proposing constructive mathematics as an additional lens for viewing classical results. In the era of widespread use of computers to perform calculations, the advantages of this latter point of view are obvious.