Yes! When I do math in college I often get a nagging feeling of vagueness. What is the significance of this theorem? Are the consequences of this theorem "empir

Yes! When I do math in college I often get a nagging feeling of vagueness. What is the significance of this theorem? Are the consequences of this theorem "empirically" testable in the real world? For example by running a computer program that tests many examples.