A mathematician is a machine for turning coffee into theorems.
Variants
A mathematician is a device for turning coffee into theorems.
Quote text and notes from Wikiquote: Paul Erdős (page history), available under CC BY-SA 4.0. Source quality and labels are our own summary of what Wikiquote records.