Every computably enumerable random real is provably computably enumerable random.

Cristian S. Calude Nicholas J. Hay

Published in: Log. J. IGPL (2009)

Keyphrases

real world
machine learning
artificial intelligence
computer vision
metadata
search algorithm
real life
multiresolution
np hard
uniformly distributed
randomly distributed