2 ms·
> The word "is" implies an isomorphism. Are you talking about a bijective mapping or are you saying it's a synonym for identical? Because the former doesn't
by thereare5lights 5y ago
> The word "is" implies an isomorphism.
Are you talking about a bijective mapping or are you saying it's a synonym for identical?
Because the former doesn't make any sense here and the latter is not true.
Red is a color does not imply that all colors are red.
- ukj 5y agoI am talking about the polymorphic use of the verb "is" during the process of formalization. "Red is a color" can be formalized as "Red is a type of color" or "Red is member of set Colors". You can't formalize "Color is red" because it doesn't mean anything. When I say "Parsing is validation" I am using the verb "is" to mean an isomorphism.
- thereare5lights 5y agoJudging by all the other disagreeing comments, your in some sort of idiosyncratic context that only you understand. Good luck with that.