Assertion: real number | /r/CapableOf | exist algorithm
Facets:
Source sentences:
text: A real number is called computable if there exists an algorithm that yields its digits.