[guerrilla]

> Brouwer

I want to also point out that his philosophical attitude turned out to also be very productive in the end and lead to significant contributions in our understanding of type theory which are applicable today in theorem provers and functional programming languages. He also gave new proofs of various theorems independent of various other results and made room for a lot of advances in logic. So, I think even the side-effects of pursuing this kind of project can be rather valuable and have obvious practical impact.