構成不可能

function whose values can be computed in a number of steps or a number of Turing-machine cells of order given by the function itself