And Skolem, and Post, and Russell, and on and on. I wasn’t trying to be exhaustive. :-)
> The fact that someone is taking a
> greater personal risk may be an indication of the character, but not
> necessarily of the significance of one's sacrifice. […]
Perhaps, but I was not talking about character, risk or sacrifice, but political consciousness. At any rate, there was no sacrifice involved in Turing’s working for the government to crack codes (nor do I think Swartz is exemplary for sacrificing himself).
—ravi