The soul of a nation lives in its language.
A mathematician is a device for turning coffee into theorems.
The PAC learning framework provides a formal way to quantify the learnability of a concept class.