4 ms·
Category theorist: What is the universal property for “realness”? https://en.wikipedia.org/wiki/Universal_property https://en.wikipedia.org/wiki/Universal_prop
by ukj 6y ago
Category theorist: What is the universal property for “realness”?
https://en.wikipedia.org/wiki/Universal_property https://en.wikipedia.org/wiki/Universal_property
- myWindoonn 6y agoThe abstract objects which aren't self-defeating [0] are real in this sense. Of course, note that we can't simply quantify over such objects since there is no universal way to decide whether objects are self-defeating, but it is nonetheless a simple criterion. [0] https://terrytao.wordpress.com/2009/11/05/the-no-self-defeating-object-argument/ https://terrytao.wordpress.com/2009/11/05/the-no-self-defeat...
- ukj 6y agoA language that cannot express contradictions is too restricted for any practical purposes. —Any programmer Contradiction != self-defeat. Is just side effects. A becoming not-A.
- ukj 6y agoThis is but an error in interpretation. An object that can contradict itself is not self-defeating - it is self-affirming! I do not exist.