Ulam meets Turing: constructing quadratic maps with non-computable SRB measures

In 1946, S. Ulam invented Monte Carlo method, which has since become the standard numerical technique for making statistical predictions for long-term behaviour of dynamical systems. We show that this, or in fact any other numerical approach can fail for the simplest non-linear discrete dynamical systems given by the logistic maps $f_a(x)=ax(1-x)$ of the unit interval. We show that there exist computable real parameters $a\in (0,4)$ for which almost every orbit of $f_a$ has the same asymptotical statistical distribution in $[0,1]$, but this limiting distribution is not Turing computable.