User blog comment:Mush9/NOOP function/@comment-30167082-20161112141024

Is anyone up for helping me out? I need a notation which can define what every uncomputable is defined as. It needs to be abstract - no built in concepts like TMs. Anyone up for it?