Изменения

Перейти к: навигация, поиск

Примитивно рекурсивные функции

1 байт убрано, 06:52, 17 января 2012
Арифметические функции и отношения. Их выразимость в формальной арифметике.
}}
= Арифметические функции и отношения. Их выразимость в формальной арифметике. =
Введем обозначение. Будем говорить, что <tex>\alpha (x_1, \dots x_n)</tex> &mdash; это формула с <tex>n</tex> свободными переменными, если переменные <tex>x_1, ... x_n</tex> входят в <tex>\alpha</tex> свободно. Запись <tex>\alpha (y_1, \dots y_n)</tex> будем трактовать, как <tex>\alpha [x_1 := y_1, ... x_n := y_n]</tex>, при этом мы подразумеваем, что <tex>y_1, \dots y_n</tex> свободны для подстановки вместо <tex>x_1, \dots x_n</tex> в <tex>\alpha</tex>.
419
правок

Навигация