Assertion: real number | /r/HasProperty | written in binary
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.