It’s nice to see such an in-depth analysis of the CRT questions. I don’t really share drossbucket’s intuition—for me the 100 widget question feels counterintuitive the same way as the ball and bat question, but neither feels really aversive, so it was hard for me to appreciate the feelings that generated this post. But this gives a good example of an idea of “training mathematical intuitions” I hadn’t thought about before.
It’s nice to see such an in-depth analysis of the CRT questions. I don’t really share drossbucket’s intuition—for me the 100 widget question feels counterintuitive the same way as the ball and bat question, but neither feels really aversive, so it was hard for me to appreciate the feelings that generated this post. But this gives a good example of an idea of “training mathematical intuitions” I hadn’t thought about before.