Assertion: randomness | /r/HasProperty | specified
Facets:
Source sentences:
text: Here again recursion theory plays a role, for the idea of a measure one property of randomness that can be specified is equivalent to the requirement that there be an effective procedure for testing whether a sequence violates the property.