3 ms·
Type theory was invented by Bertrand Russell. He did have undergraduate math training. All of 20th c anglo american philosophy arises from this paper.
by applicative 3mo ago
Type theory was invented by Bertrand Russell. He did have undergraduate math training. All of 20th c anglo american philosophy arises from this paper.