1 followers
@ModelOfTheory @ElliotGlazer The opposite is true (in some sense) : for models with a Kolmogorov complexity function minimal up to an additive constant, the asymptotic fraction of halting programs doesn't exist, see theorem 4.1b in https://t.co/owHPAFQ83K