There is a transcription but reading the original letter, typewritten by Bertrand Russell, with all the typing corrections that probably stemmed from some kind of holy anger he must have felt responding to someone like Mosley, was incredibly more pleasurable.
> more or less invented types to solve a problem he was having with set theory.
For people who haven't encountered it yet, this problem is the famous "Russell's Paradox"[1], which can be stated as
Consider the set R, consisting of all sets S such that S is not an element of S.
Ie in set builder notation
R = {S : S ∉ S}
and then the paradox comes from the followup question. Is R an element of R? Because of course if it is in R, then it is an element of itself so it should not be. And if it's not in R, then it is not an element of itself, so it should be. This is a logical paradox along the same lines as the famous "The barber in this town shaves all men who do not shave themselves. Does he shave himself?"
In modern axiomatic set theory, Russell's paradox is avoided these days by the "axiom of regularity"[2] which prevents a set builder like "the set of all sets who are not members of themselves", so what I wrote above would not be accepted as a valid set builder for this reason by most people.
Russell proposed instead Type theory which got revived when computer science got going.
> The barber in this town shaves all men who do not shave themselves. Does he shave himself?
I'm not familiar with this one but is it misstated here? The barber doesn't only shave men who don't shave themselves. If he doesn't shave himself then he shaves himself and therefore can shave himself without contradiction. If he shaves himself he can shave himself without contradiction. Either way he shaves himself.
Bertrand Russel also was - and hopefully still is - a public intellectual, like Einstein or Chomsky (for better or worse), whose opinions on many areas of life reached ordinary people. His values were ahead of his time.
This is a wonderful interview with him that gives a great sense of what he was all about:
They had a long history of correspondence. The preceding letter is archived and you can probably get a copy. (https://bracers.mcmaster.ca/79128)
> Jan 6/1962 Re nuclear disarmament and world government. BR is not inclined to agree or disagree with Mosley's views, but he does think that Mosley is "rather optimistic" in his expectations. BR provides criticism of his main two objections. (A polite letter.)
> Jan 11/1962 Mosley wants to lunch privately with BR about their differences.
These are basically all the letters exchanged with Mosley:
This letter makes perfect sense to me if he had sent it as his first reply to a fascist in 1946. Why did he correspond with him over 43 previous letters from 1946 and only in 1962 act as though he had principled objections to corresponding with fascists? The tone is not "this time you've gone too far", or "I have decided we're not getting anywhere", but "We have nothing in common and could never converse". I wonder if he realized it was the same guy, or was submitting this to some public forum.
For general context, this was addressed to post-ww2 Mosley, in the 60s, who argued a unique form of holocaust denialism at the time. He didn’t take the position that the holocaust didn’t happen, he took the position that it was justified.
I thought that was how one simply started letters -- you used to even say "Dear Sirs" in the past -- but it seems "dear" has come to be reserved only for close recipients.
It is not entirely true that the usage has changed; I usually start my emails with this salutation, both to recipients close to me and those whom I do not know well. I address mailing lists with a simple "Dear all".
Nonetheless, this is the first time I have done so in a Hacker News post, and it shall probably be the last too.
I receive even e-mails addressed that way on occasion. It's not "dead" but you need to be careful as it can also easily come across as sarcastic, in a "who do you think you are? Let me treat you with overstated importance" kind of way (but then it would generally be followed by other excessive formality and a level of deference you know will seem over-the-top)
Anyone wondering what might have prompted his evident change of attitude after already having engaged in a "correspondence" with Mosley should note that this letter was written during Ralph Schoenman's infamous tenure as Russell's secretary.
> Bertrand Russell, one of the great intellectuals of his generation, was known by most as the founder of analytic philosophy
That title is usually attributed to Gottlob Frege (in particular his 1884 book "Grundlagen der Arithmetik", and his 1892 paper "Über Sinn und Bedeutung") who directly influenced Bertrand Russell, Rudolph Carnap, and Ludwig Wittgenstein, who all later became large influences on analytic philosophy themselves. Frege is most known for the invention of modern predicate logic.
"He credited his acumen to his family goddess, Namagiri Thayar (Goddess Mahalakshmi) of Namakkal. He looked to her for inspiration in his work[111] and said he dreamed of blood drops that symbolised her consort, Narasimha. Later he had visions of scrolls of complex mathematical content unfolding before his eyes.[112] He often said, "An equation for me has no meaning unless it expresses a thought of God."
"While asleep, I had an unusual experience. There was a red screen formed by flowing blood, as it were. I was observing it. Suddenly a hand began to write on the screen. I became all attention. That hand wrote a number of elliptic integrals. They stuck to my mind. As soon as I woke up, I committed them to writing."
—Srinivasa Ramanujan
"The limitations of his knowledge were as startling as its profundity. Here was a man who could work out modular equations and theorems... to orders unheard of, whose mastery of continued fractions was... beyond that of any mathematician in the world, who had found for himself the functional equation of the zeta function and the dominant terms of many of the most famous problems in the analytic theory of numbers; and yet he had never heard of a doubly periodic function or of Cauchy's theorem, and had indeed but the vaguest idea of what a function of a complex variable was..." - G. H. Hardy
My dad went to a Bertrand Russell lecture at Michigan State University. This would have been around 1960. He can't remember anything BR talked about, though.
Readit News
I can't find a copy of the letter this is in response to which would provide more context. I believe it was an invitation of some sort.
Bertrand Russel was a prominent logician and philosopher, more or less invented types to solve a problem he was having with set theory.
https://en.wikipedia.org/wiki/Bertrand_Russell
Sir Oswald Mosley founded the British Union of Fascists.
https://en.wikipedia.org/wiki/Oswald_Mosley
For people who haven't encountered it yet, this problem is the famous "Russell's Paradox"[1], which can be stated as
Consider the set R, consisting of all sets S such that S is not an element of S.
Ie in set builder notation
R = {S : S ∉ S}
and then the paradox comes from the followup question. Is R an element of R? Because of course if it is in R, then it is an element of itself so it should not be. And if it's not in R, then it is not an element of itself, so it should be. This is a logical paradox along the same lines as the famous "The barber in this town shaves all men who do not shave themselves. Does he shave himself?"
In modern axiomatic set theory, Russell's paradox is avoided these days by the "axiom of regularity"[2] which prevents a set builder like "the set of all sets who are not members of themselves", so what I wrote above would not be accepted as a valid set builder for this reason by most people.
Russell proposed instead Type theory which got revived when computer science got going.
[1] https://en.wikipedia.org/wiki/Russell%27s_paradox
[2] https://en.wikipedia.org/wiki/Axiom_of_regularity
I'm not familiar with this one but is it misstated here? The barber doesn't only shave men who don't shave themselves. If he doesn't shave himself then he shaves himself and therefore can shave himself without contradiction. If he shaves himself he can shave himself without contradiction. Either way he shaves himself.
(Or maybe I'm just bad at logic)
This is a wonderful interview with him that gives a great sense of what he was all about:
• A Conversation with Bertrand Russell (1952) https://youtu.be/xL_sMXfzzyA
While young his grandfather told Bertrand about meeting Napoleon. Late in life Bertrand watched the moon landing on TV.
Obviously that two experiences that span more than one life time, but they are very far apart.
https://www.openculture.com/2022/05/philosopher-bertrand-rus...
> Jan 6/1962 Re nuclear disarmament and world government. BR is not inclined to agree or disagree with Mosley's views, but he does think that Mosley is "rather optimistic" in his expectations. BR provides criticism of his main two objections. (A polite letter.)
> Jan 11/1962 Mosley wants to lunch privately with BR about their differences.
These are basically all the letters exchanged with Mosley:
https://bracers.mcmaster.ca/bracers-basic-search?search_api_...
Deleted Comment
Some stuff is online. Here’s a curated collection of some really interesting letters sent to him:
https://dearbertie.mcmaster.ca/letters
It is not entirely true that the usage has changed; I usually start my emails with this salutation, both to recipients close to me and those whom I do not know well. I address mailing lists with a simple "Dear all".
Nonetheless, this is the first time I have done so in a Hacker News post, and it shall probably be the last too.
Best wishes,
seabass
> Bertrand Russell, one of the great intellectuals of his generation, was known by most as the founder of analytic philosophy
That title is usually attributed to Gottlob Frege (in particular his 1884 book "Grundlagen der Arithmetik", and his 1892 paper "Über Sinn und Bedeutung") who directly influenced Bertrand Russell, Rudolph Carnap, and Ludwig Wittgenstein, who all later became large influences on analytic philosophy themselves. Frege is most known for the invention of modern predicate logic.
"He credited his acumen to his family goddess, Namagiri Thayar (Goddess Mahalakshmi) of Namakkal. He looked to her for inspiration in his work[111] and said he dreamed of blood drops that symbolised her consort, Narasimha. Later he had visions of scrolls of complex mathematical content unfolding before his eyes.[112] He often said, "An equation for me has no meaning unless it expresses a thought of God."
"While asleep, I had an unusual experience. There was a red screen formed by flowing blood, as it were. I was observing it. Suddenly a hand began to write on the screen. I became all attention. That hand wrote a number of elliptic integrals. They stuck to my mind. As soon as I woke up, I committed them to writing."
—Srinivasa Ramanujan
"The limitations of his knowledge were as startling as its profundity. Here was a man who could work out modular equations and theorems... to orders unheard of, whose mastery of continued fractions was... beyond that of any mathematician in the world, who had found for himself the functional equation of the zeta function and the dominant terms of many of the most famous problems in the analytic theory of numbers; and yet he had never heard of a doubly periodic function or of Cauchy's theorem, and had indeed but the vaguest idea of what a function of a complex variable was..." - G. H. Hardy
https://www.bbc.co.uk/programmes/p00hgk62