News for hackers. Stuff that matters.

A comment on How real are real numbers? (2004). Parent comment

Re:How real are real numbers? (2004) by mcherm on Monday April 10, 2017 @03:56PM (#14082000)
> 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.

[ Parent | on HN ]
Re:How real are real numbers? (2004) by upquark on Monday April 10, 2017 @04:24PM (#14082198)
No, my "ill-defined" means "will lead to contradictions if you look too closely", not "I haven't exactly specified what it means".
[ Parent | on HN ]