ESR's libertarian take is unimpressive as always. ESR has his own political reasons for minimizing the likely connection between Turing's suicide and his hormone treatment--as if hormone treatment weren't gruesome enough, and were completely free of psychological side effects. A logician would invoke Beth's theorem on unions of theories and ignore a math professor's tawdry speculation on the circumstances of Turing's…
1. That (according to the article he links) Alan Turing's persecution and death were heavily mythologized.
2. This is not surprising, considering the nature of the myth: a great person becomes a martyr of a persecuted minority group.
3. This is a shame, since it distracts from Turing's actual achievements, which were pretty amazing, and perpetuates the association between heroism and downtrodden martyrdom.
(As an aside, if #1 is true, then I can get behind #2. It seems to be a common enough pattern of folk-hero-making to raises suspicion. Not sure about #3.)
I don't see any libertarian ideology in here. Could you point it out for me?