Die Inseparabilitätseigenschaft und die RICEsche Unentscheidbarkeitseigenschaft bei effektiven Numerierungen.