original_query: What were the major contributions of Hermann Klaus Hugo Weyl in theoretical physics?
query: What were Hermann Weyl's major contributions to theoretical physics?
answer: Weyl's major contributions to theoretical physics include combining general relativity with electromagnetism (though unsuccessfully), introducing the concept of gauge theory, introducing the vierbein into general relativity, and contributing to the mathematical formulation of quantum mechanics, including work on spinors and Weyl quantization.