All Stories

  1. Pointed computations and Martin-Löf randomness
  2. The Probability of a Computable Output from a Random Oracle
  3. Universality probability of a prefix-free machine