Simply setting down a recursive definition does not, by itself, establish computability within a giv...