f:N->N такая что для любого x выполнено f(x+1) > f(x)+10 - вычислимая?

задан 13 Дек '20 22:19

Очень странный по своей форме вопрос. Конечно, это никак не гарантирует вычислимости! Даже из соображений мощности это ясно: функций с указанным свойством -- континуум.

Можно взять какую-то возрастающую невычислимую функцию -- например, функцию Радо (она же Busy Beaver), которая растёт очень быстро. Для неё такое свойство выполнено при x>=x0. Можно тогда с x0 её отсчёт и взять. Или умножить её на 10. То есть тут как угодно получается отрицательный ответ.

(13 Дек '20 23:02) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×1,699
×1,404
×1,068
×182
×64

задан
13 Дек '20 22:19

показан
98 раз

обновлен
13 Дек '20 23:02

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

по почте:

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

по RSS:

Ответы

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

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