Обсуждение:Вычислимая функция

Статья «Вычислимая функция» входит в общий для всех языковых разделов Википедии расширенный список необходимых статей.
Её развитие вплоть до статуса избранной является важным направлением работы русского раздела Википедии.

Вы можете посетить страницу проекта «Мириада», который занимается улучшением наиболее важных статей Википедии, и, при желании, присоединиться к нему.

$N=B^{*}\cup \{undef\},$

Последнее сообщение: 6 лет назад2 сообщения2 человека в обсуждении

если undef означает неопределенность или, что алгоритм зависает, то фраза $f\colon N\to N,$ - какой-то бред:

1) как на машине Тьюринга вы собираетесь задавать начальные данные в виде неопределенности?

2) как вы определите, что машина Тьюринга зациклилась, может она еще пока считает, и потом вернет ответ в виде целого числа?

Такое определение вычислимой функции по крайне мере нестандартно. Хотя может быть и не полный бред. Просто вместо того, чтобы писать, что f(x) неопределенно, тут пишут, что f(x)=undef. В частности f(udef)=udef. Конечно не возможно определить за конечное время, равно ли f(x) = udef, что сильно путает, так мы определяем вычислимую функцию. Кроме того в статье отсутствуют источники. Нужно переписать эту статью опираясь на авторитетные источники и используя стандартное определение через частичные функции. — Алексей Копылов 21:15, 2 ноября 2016 (UTC)Ответить

Вычислимая функция - метатеоретическое понятие. Конкретная его реализация, зависит от выбора вычислительной модели. Статью действительно желательно переписать, но ни в коем случае не объединять с другими. Также нужны отдельные статьи: вычислимая по тьюрингу функция, частично-рекурсивная функция, и т.д. в духе "вычислимая по ... функция". 178.23.225.164 09:53, 17 марта 2018 (UTC)Ответить