He also doesn’t believe in exhaustion, since you can’t check each case. Nor is he a fan of the continuum.

14 Feb 2020

“To prove this statement, I invoke Theorem 3.2 of our textbook in conjunction with Corollary 67.1, which together implies our result trivially.”

12 Feb 2020

The side job of a scientist is being a public advocate for science anyway. I guess we are close to politicians after all.

10 Feb 2020

I just try to be unreasonable all the time. Much easier to be consistent.

07 Feb 2020

As you might imagine, this is *definitely* based on a true story. I mean come on, the problem was identical to the previous, save one number.

“You just told me I had to give the students a *chance* to ask questions, not that they actually needed to!”

“Basically, I know you mathematicians enjoy solving the more general case, so I figured you would like the challenge!”

31 Jan 2020

“I don’t think that’s the correct term to use-“

“Okay fine, the data *farmers* are slow. Happy now?”

The difficultly with proofs at first is that you’re required to show things that feel *obvious*. A good proof should provide an explanation for something which isn’t clear. Unfortunately, when you start proving divisibility rules, there’s a limit to how much insight you get from the proof.