Hacker News new | ask | show | jobs
by jacobolus 4422 days ago
Blaming Bourbaki for this seems to give them credit for far more than the influence they had. They did cause an entire generation of professional French mathematicians to waste effort on re-proving things that had already been proven.

But the trend toward (excessive?) formalism at the expense of intuitive understanding is much larger in scope than Bourbaki.