From Brouwer to Hilbert