Papers tagged uncomputable functions