[Allan]

The article is somewhat interesting
but this 'left-wing' 'right-wing' business is idiotic.
He's trying to be cute but it makes him look like an idiot.
Mathematicians shouldn't attempt humour or wit
they are not good at it
because they are essentially humourless.

[Mitchell]

On the contrary, I think he is serious. People are wrapped up in politics here (well, it's FR, so I can't really be surprised at that :-), but this article isn't about politics, in spite of his use of the phrases "right-wing" and "left-wing".

I read Devlin's right-wing/left-wing analogy as being motivated not so much by politics as by the theory of morality -- absolute morality vs. moral relativism.

This metaphor makes sense in the context of his article.

I still think that the issue he talks about is really a technical matter of how to formulate proofs so that they can be checked easily, whether by a person or by an automated proof-checker.