2 ms·
> Most operations for defining real numbers are computable. Isn’t that a tautology or at least selection bias? “Operation” seems to imply we can carry it out,
by Someone 4y ago
> Most operations for defining real numbers are computable.
Isn’t that a tautology or at least selection bias? “Operation” seems to imply we can carry it out, which means the number can be computed.
Even if we give “operation” a wider meaning to include those that can’t be carried out, are we deceiving ourselves that most of them are computable because most of those we have thought of in the history of mathematics are?
Or do we really know something about the cardinalities of those sets?