The point I'm making is that this isn't simply that "there isn't anything in our current geo-political makeup where enough countries meet to disprove the theorem"... the theorem holds up under any theoretical design.
> The point I'm making is that this isn't simply that "there isn't anything in our current geo-political makeup where enough countries meet to disprove the theorem"... the theorem holds up under any theoretical design.
No, it doesn't! Of course, as a true theorem, its conclusion holds whenever its hypotheses do—but there are hypotheses, not all of which are satisfied by any theoretical (or, perhaps more importantly, real-world) design.
One is that meeting at a corner is not counted as 'meeting', which you may fairly object is just a definition rather than a hypothesis; but another, which is a genuine hypothesis rather than just a matter of definition, is that the countries / regions must be connected [0]. (For a real-world example where this hypothesis is not satisfied—although the conclusion still is—on the level of states, see Michigan; and, on the level of countries, see the US and Alaska. I don't know if it is possible to make all countries connected by building imaginary land bridges across non-territorial waters, but I doubt it.)
EDIT: As Someone pointed out at the top of this thread (http://news.ycombinator.com/item?id=8801082 and then, in response to my confusion, http://news.ycombinator.com/item?id=8804876), this disconnectedness can actually create an issue; the fact that it technically isn't an issue for the particular case that he or she mentions is just because the regions involved aren't technically 'countries', rather than because no pathological arrangement of countries can break the 4-colour theorem.
EDIT: [0] Probably I should say 'open and connected', to avoid the pathologies a malicious topologist could cook up.
The point I'm making is that this isn't simply that "there isn't anything in our current geo-political makeup where enough countries meet to disprove the theorem"... the theorem holds up under any theoretical design.