4 ms·
The real insult is that the actual underlying idea, and the proof, is shockingly simple. It is essentially the pigeonhole principle: the principle that if you p
by sudo_robin 13y ago
The real insult is that the actual underlying idea, and the proof, is shockingly simple. It is essentially the pigeonhole principle: the principle that if you put more than n pigeons into n holes then there must be a hole with more than one pigeon in.
Right. I wonder how many statements in theory of computation are essentially the pigeonhole principle.
- andreasvc 13y agoI think it may be the punchline in many cases, but still, setting up the right pigeons and holes is what makes proving stuff nontrivial.