2,821 karma · joined November 13, 2021
-Boaz Barak
So why not put the patient to sleep first with anesthetic drugs? After that the mask should not be a bother.
It might not evolve into something very complex, though.
By the way, if I'm not completely mistaken, Gödel's argument to show the incompleteness of mathematics relies on encoding all mathematical statements as numbers. So I'm certainly not being very original here.
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..
You're not allowed to work on Saturdays, and even turning the lights on counts as work. So if you want to have lights on on Saturday, you turn them on on Friday. If you want to read in bed, you get a lamp that stays on, but where you can slide a shade in front of the lamp, covering the light.
I'm seriously impressed by this.
Edit: actually, forget about the above. I just find it very annoying when people dismiss good conversations with not-so-good jokes.