Text this: Brouwer meets Husserl