Re:Parse, Don't Validate (2019)
by ukj on Saturday June 26, 2021 @03:48PM
(#27645179)
It may be wrong in your model/interpretation of my words, but it's not wrong in my interpretation of my words.
[ Parent
| on HN ]
In what interpretation is it consistent for 'A square is a rectangle" means "A square is a TYPE of rectangle"' and 'The word "is" implies an isomorphism' to be simultaneously true? No matter how I cut it, the latter seems to prevent the former to me.