TY - RPRT TI - The "paradox" of computability and a recursive relative version of the Busy Beaver function AU - Felipe S. Abrahão PY - 2016 UR - https://arxiv.org/abs/1612.07400 ID - 1612.07400 ER -