Searching protocol for "uncomputable"
Run programs backwards for time-symmetric computation.
Measure data compressibility via K(x).