Изменения

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

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

72 байта убрано, 20:40, 27 ноября 2016

→‎n-местный ноль

<tex> \textbf 0^{1}(0) = \textbf 0 </tex>

<tex> \textbf 0^{1}(y+1) = ~~\mathrm{h}(y,\textbf~~ 0~~^{1}(y)) </tex>, где <tex> \mathrm{h}(x,y) = y~~ </tex>

Теперь выразим <tex> \textbf 0^n </tex>

313

правок

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/56363»