Polynomial-time computability is probably closer to the notion of explicitness (though still not quite the same, as daozaich points out). I don’t know of any number that is considered explicit but is not polynomial-time computable.
Polynomial-time computability is probably closer to the notion of explicitness (though still not quite the same, as daozaich points out). I don’t know of any number that is considered explicit but is not polynomial-time computable.