Firstly, I'm very happy we're having this conversation. It's so pointless, yet pedantic it warms my heart in the best way possible. Secondly, I stand by the st

Firstly, I'm very happy we're having this conversation. It's so pointless, yet pedantic it warms my heart in the best way possible. Secondly, I stand by the statement that there is no merit to this joke. This is because the way it defines interesting is very hand-wavy. There are interesting and non-interesting problems, but by a sleigh of hand you can turn the non-interesting problems interesting, thus proving that basically everything in the universe is interesting. At least in the mathematically describable universe. When everything is interesting, nothing is interesting. So we can dismiss the proof as a silly joke. What mathematicians find interesting is a different story. However, we can almost certainly say there is only a finite number of problems mathematicians as physical beings can solve. If we have 200 mathematical symbols at our disposal, and we consider all strings of these symbols of length 1000,000, we have captured all the descriptions of problems that fit to 1M symbols. But that's a finite number. Going beyond that starts to be difficult for a human to grasp (if 1M is not too much already), so all mathematical problems that are solvable by a physical mathematician are in that set of strings. And that's not even saying anything about whether or not they're interesting..