I don't understand his idea of comparing the independence of the Continuum Hypothesis from the other axioms of set theory, which is a very deep and important result about (in essence) one of the limits of mathematical reasoning, with this little notational difficulty, which frankly is of very little interest, especially to mathematicians (you do run into this when writing parsers, sometimes...) He actually manages to say that this is "as stupid as" asking for a proof of the Continuum Hypothesis. Reminds me of people who get hung up on whether 1 is a prime number. Yes, no, maybe - people have defined it this way and that, it's a convention you can make without changing anything fundamental about mathematical reasoning.<p>Different systems of axioms lead to very different mathematical objects (compare Euclidean and non-Euclidean geometries). Different conventions lead to the exact same thing written slightly differently - if we say that clockwise rotation corresponds to positive change in angle (the opposite of current convention), we'll exchange plus and minus signs in a bunch of formulas, and nothing else.