So what has this got to do with Russell and his personal disappointment?The Voice of Time wrote:Well Boolean logic was made by a man called Boole so I think that makes sense. But Boolean logic is not "mathematics", strictly speaking, I guess it's better to call it "applied logic".
On the other hand, knowing the foundations of mathematics would let you know how to transfer bytes, both as procedure of on's and off's (Boolean logic), and as chunks bytes with pre-defined meanings, into mathematical terms, in turn giving rise to how to make a computer compute, how to make it calculate.
So what has any of this got to do with Russell?
Though I regret to give it as a source, Wikipedia says this:It may also be the fact that doing something wrong, gives other people the idea of the "existence" of the problem and realm at all, and makes them capable of doing it right, improving it, taking hints from the style but ending with different results... I don't know. Google didn't offer much information when I searched for "The legacy of the Principia Mathematica"."PM is widely considered by specialists in the subject to be one of the most important and seminal works in mathematical logic and philosophy since Aristotle's Organon.[1] The Modern Library placed it 23rd in a list of the top 100 English-language nonfiction books of the twentieth century"
Remember that Boolean logic only defines a very tiny realm. It's not very useful to use Boolean logic to develop big systems (at least from the point of view of Machine Code or Assembly language).
We used the term as a short hand for all logic that had to do with a range of conditions that would allow computer gates to operate under a given set of condition - i.e most programming at the high level and low level
Somebody has to make it into proper mathematics, a realm which can deal with big complex jobs, and which has a wide and expansive and heavily developed framework. From the point of view of Theoretical Computer Science, it's all about mathematics anyways, how to find the most effective ways of calculating something.
I don't know the details but a big stumbling block was the problem of the set of all sets; can it be a set of itself - was a key problem.