|I love mathematicians.
||[Apr. 1st, 2010|08:24 pm]
Someone just wandered randomly into my office and asked me a question about coinduction. I didn't have a good answer for her, but the point is, people are coming in and asking me questions about coinduction.
My favorite, too, is when people burst in, blurt out their question, and then later are all, "Sorry; do you have a minute?" I love that. I want to do this forever.