Whither "intuitionistic"?

> The terms >intuitionism< and -- derived from the latter -- >intuitionistic<
> are due to Luitzen Egbertus Jan Brouwer, a dutch mathematician who in 1912
> (in his inaugural lecture at Amsterdam) introduced the term for a position
> opposed to what he called formalism: the axiomatic approach to the
> foundation of mathematics favoured by Hilbert, Zermelo et al.

I love the comment in Girard's book Proof Theory and Logical
Complexity regarding Heyting's formalization of intuitionism ... he

   "All ideals are subject to treason, so too intuitionism."

Jim Caldwell