The speaker identifies Brouwer’s intuitionism as the first classical-mathematical formulation of constructivism, while judging that Brouwer did not formulate it well.

“And this is this constructivist program that basically, uh, I think in classical mathematics, the first, uh, formulation was Brouwer's intuitionism, and I don't think that he formulated it very well.”