Assertion: real number | /r/HasProperty | uncomputable
Facets:
Source sentences:
text: A real number may be either computable or uncomputable; either algorithmically random or not; and either arithmetically random or not.