4 ms·
The objections that one treatise makes to another will typically be of type violation, category mistake, nonsense - which is typical of compilers. I don't need
by applicative 3mo ago
The objections that one treatise makes to another will typically be of type violation, category mistake, nonsense - which is typical of compilers. I don't need to tell you which discipline invented the ideas of type and type error and was even largely organized around them in early and mid- 20th c, even across wildly different theoretical views.
- kazinator 3mo agoMathematics.
- applicative 3mo agoType theory was invented by Bertrand Russell. He did have undergraduate math training. All of 20th c anglo american philosophy arises from this paper.
- dwaltrip 3mo agoWarning: Irony :) Category error: Theory of compiler != compiler