Все сечения $%U_n$% некоторой вычислимой функции от двух аргументов $%U$% вычислимы. Следует ли отсюда, что сама функция двух аргументов $%U$% вычислима?

задан 24 Июл '20 3:48

изменен 24 Июл '20 3:49

Тут пример строится тривиально: берём U(x,n) равной характеристической функции невычислимого множества от переменной n. При каждом n сечение равно константе 0 или 1, то есть оно вычислимо.

(24 Июл '20 8:46) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×1,115
×53

задан
24 Июл '20 3:48

показан
322 раза

обновлен
24 Июл '20 8:46

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru