chaitin's constant - dofaq.co