Ok, so apparently there is an old joke (which I DO get) that says that in Hungary a mathematician is a device for turning coffee into theorems.
I found a post by Qiaochu Yuan that has the following definiton: A comathematician is a device for turning cotheorems into ffee.
Apparently this is a very funny joke. Could someone explain it to me and tell me where I could learn about the subject in question? Thank you very much in advance.