User blog comment:Mush9/Beyond BIG FOOT (ideas in comments)/@comment-24920136-20161106172224/@comment-24920136-20161106185931

it isn't impossible, it just works differently than what you are used to. with uncomputables, you try to determine wether one function can be modeled or emulated within the other, if it can, then it is considered stronger.