Assertion: algorithmic randomness | /r/HasProperty | based on computable martingales
Facets:
Source sentences:
text: The other notions of random sequences include, among others, recursive randomness and Schnorr randomness, which are based on recursively computable martingales.