3 ms·
Still not sure I follow. Set of non-kings is not ill-defined, not in the same way as set of numbers non-describable by any formal system is.
by upquark 9y ago
Still not sure I follow. Set of non-kings is not ill-defined, not in the same way as set of numbers non-describable by any formal system is.
- mcherm 9y ago> Set of non-kings is not ill-defined, not in the same way as set of numbers non-describable by any formal system is. Um... roughly the same. Is Robert Mugabe a king? Since we didn't give a clear and precise definition of "king" you can't really say.
- upquark 9y agoNo, my "ill-defined" means "will lead to contradictions if you look too closely", not "I haven't exactly specified what it means".