Papers tagged computable numbers