The arithmetic of algebraic groups is a central theme in the Langlands program.
All human knowledge is from experience.