Assertion: real number | /r/CapableOf | view as characteristic function
Facets:
Source sentences:
text: A real number is computable if and only if the set of natural numbers it represents (when written in binary and viewed as a characteristic function) is computable.