Non-computable number