
Более того, в настоящий момент не представляется возможным приду-
мать хоть какой-нибудь алгоритм, инструкции которого нельзя было бы
промоделировать в виде команд машины Тьюринга. В связи с этим все
математики в настоящее время принимают
Тезис Тьюринга: Всякая вычислимая (согласно определению 9) ча-
стичная функция из Σ
∗
в Σ
∗
вычислима на машине Тьюринга.
Тезис Тьюринга нельзя доказать, потому что определение 9 не яв-
ляется математическим определением. Однако им можно пользоваться:
например, если есть описание алгоритма для вычисления функции из Σ
∗
в Σ
∗
, данное на обычном
38
языке, можно, пользуясь этим тезисом, утвер-
ждать, что существует программа для машины Тьюринга, реализующая
этот алгоритм, не выписывая саму программу. Со временем и мы станем
так поступать. А пока продолжим изложение на формальном уровне.
Переходим к рассмотрению частичных функций на натуральных чис-
лах со значениями в N. Мы будем рассматривать частичные функции от
нескольких аргументов. Количество аргументов функции мы называем
ее местностью или арностью. Для каждого натурального числа k k-
местная (или k-арная) функция — это функция от k аргументов. Ясно,
что такое k-местная частичная функция для k > 0; для k = 0 0 -мест-
ная частичная функция из N в N — это просто константа, равная либо
некоторому натуральному числу, либо неопределенному значению
39
.
Пусть k, n ∈ N и имеется одна n-местная частичная функция g(x
1
, . . . ,
x
n
) и n k-местных частичных функций f
1
(x
1
, . . . , x
k
), . . . , f
n
(x
1
, . . . , x
k
).
38
Например, русском.
39
Можно представлять себе ситуацию следующим образом. Часто встречаются слу-
чаи, когда значение функции от нескольких аргументов реально зависит от меньшего
числа аргументов. Например, есть функция от двух аргументов f(x, y) = x + y; зна-
чение f (x, y) зависит как от x, так и от y. Есть другая функция от двух аргументов:
g(x, y) = x + (y − y). Значение g(x, y) зависит только от того, чему равен x. Фор-
мально g — это 2-местная функция, но ее можно рассматривать и как одноместную
функцию g
0
(x) = x. Мы в нашем курсе считаем, что функции g и g
0
— разные, хотя
бы потому что это функции разной местности, однако нельзя отрицать, что функ-
ция g
0
в некотором смысле соответствует функции g. Теперь рассмотрим функцию
h(x, y) = 2, равную константе 2 при всех значениях x и y. В том же смысле, в ка-
ком функции g соответствовала функция g
0
, функции h соответствуют две 1-местные
функции h
1
(x) = 2 и h
2
(y) = 2, а также 0-местная функция, равная константе 2. Если
мы рассмотрим 2-местную частичную функцию h
0
(x, y), которая не определена при
всех значениях x и y (δh = ∅), то ей соответствует 0-местная функция с неопреде-
ленным значением.
51