Hacker News new | ask | show | jobs
by kazinator 21 days ago
Mathematics.
1 comments
applicative 19 days 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.
link