  Weyl’s initial enthusiasm for intuitionism seems later to have waned. This may have been due to a growing belief on his part that the  mathematical sacrifices demanded by adherence to intuitionistic  doctrine (e.g., the abandonment of the least upper bound principle,  and other important results of classical analysis) would prove to be  intolerable to practicing mathematicians. Witness this passage from  Philosophy of Mathematics and Natural Science: