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.
05 Feb 2020
“You just told me I had to give the students a chance to ask questions, not that they actually needed to!”
03 Feb 2020
“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?”
29 Jan 2020
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.
27 Jan 2020