The Langlands program is not a theory but a web of conjectures and theorems that, if fully established, would unite number theory and representation theory.
逻辑学的研究是对正确推理原则的研究。
A wise man will make more opportunities than he finds.