Assertion: computable real number | /r/CapableOf | form field
Facets:
Source sentences:
text: The fact that computable real numbers form a field was first proved by Henry Gordon Rice in 1954 (Rice 1954).