Comment

Comment by enugu

> In my view, every real number is well-defined...

How so? The set of definable numbers in any formal langauage might not be clear concept. But you are making a stronger statement.

For any given language, like for instance ZFC, we can say that definable numbers are a countable subset. Hence measure zero.

parent enugu 9 years ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton