Hermann weyl's intuitionistic mathematist door Dalen