Assertion: turing machine | /r/CapableOf | compute precise approximation
Facets:
value: arbitrarily
type: MANNER
value: to that number
type: OTHER
Source sentences:
text: A (real) number is Turing computable if there exists a Turing machine which computes an arbitrarily precise approximation to that number.