If I feel unhappy, I do mathematics to become happy. If I am happy, I do mathematics to keep happy.
A mathematician is a machine for turning coffee into theorems.
[Rényi's colleage Paul Turán is credited with the refinement that "weak coffee is suitable only for lemmas".]