There's another Weyl. Hermann Weyl. A mathematician almost as great as Hilbert. In fact he is the person who rigorously introduced Riemann surfaces. He is also the originator of Gauge theory -- so fundamental to modern physics.