Правила форума
В этом разделе
нельзя создавать новые темы. Если Вы хотите задать новый вопрос, то
не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".
Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть
удалены без предупреждения.Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса
обязан привести свои попытки решения и указать конкретные затруднения.
Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть
удалена или перемещена в
Карантин, а Вы так и не узнаете, почему.
|
rkrkrk |
Вычислимые перестановки целых чисел  31.12.2013, 10:54 |
|
09/12/12
33
|
|
Является ли группа вычислимых перестановок целых чисел конечно порожденной?
|
|
|
|
 |
|
nikvic |
Re: Вычислимые перестановки целых чисел 31.12.2013, 11:11 |
|
| Заслуженный участник |
 |
06/04/10
3152
|
|
Видимо, нет.
Вопрос сводится, например, к перечислимости общерекурсивных функций с бинарными значениями.
|
|
|
|
|
|
rkrkrk |
Re: Вычислимые перестановки целых чисел 31.12.2013, 11:20 |
|
09/12/12
33
|
|
а не подскажите, где об этом можно прочитать?
|
|
|
|
|
|
nikvic |
Re: Вычислимые перестановки целых чисел 31.12.2013, 11:28 |
|
| Заслуженный участник |
|
06/04/10
3152
|
|
Как про отдельную задачу - не знаю. Эффективная неперечислимость ОРФ и вычислимых множеств есть "везде".
|
|
|
|
|
  |
Страница 1 из 1
|
[ Сообщений: 4 ] |
|
Модераторы: Модераторы Математики, Супермодераторы
