Abstract:
An example of two computable probabilistic measures is given on infinite binary sequences such that the two measures are comparable (there exists their coupling that forbids the pairs of symbols with the first member less than the second one), but all such couplings are incomputable.
Fulltext:
PDF file (261 kB)