3 ms·
Types absolutely are a mathematical notion. Formal systems like the calculus of construction and Martin Löf Type Theory are well studdied.
by Ericson2314 5y ago
Types absolutely are a mathematical notion. Formal systems like the calculus of construction and Martin Löf Type Theory are well studdied.
- mjburgess 5y agoThat doesn't have much to do with my point. There is no mathematical encoding of natural world semantics: the sense in which "Person" and "MostIntelligentSpecies" are different cannot be expressed mathematically. (p in Person) obtains as does (p in MostIntelligentSpecies) but Person cannot be eliminated for MostIntelligentSpecies The article itself makes this point, but then tries to compromise with the mathematical reduction "to sets". It would be clearer just to state that this is a reduction rather than an elimination.