О примитивно рекурсивной реализуемостидоклад на конференции