3 ms·
It blows my mind that Russell invented (formalized) types. Such an elemental concept, but so useful.
by lordleft 2mo ago
It blows my mind that Russell invented (formalized) types. Such an elemental concept, but so useful.
- layer8 2mo agoRussell’s types aren’t really the same notion as types in programming: https://planetmath.org/russellstheoryoftypes https://planetmath.org/russellstheoryoftypes