3 ms·
One of my favorite facts about Bertrand Russell is that he invented type theory in the context of math, and in that way contributed indirectly to computer scien
by lordleft 7y ago
One of my favorite facts about Bertrand Russell is that he invented type theory in the context of math, and in that way contributed indirectly to computer science.