Assertion: computable real | /r/CapableOf | exhaust real
Facets:
Source sentences:
text: Though the computable reals exhaust those reals we can calculate or approximate, the assumption that all reals are computable leads to substantially different conclusions about the real numbers.