Luitzen Egbertus Jan Brouwer biography