>Paul Erdos once famously said that ‘a mathematician is a device for turning coffee into theorems’.

Wrong. It was Alfred Renyi.