Функция преемника
- Функция-преемница в математике передает натуральное число следующему, обозначаемая через S.
- Функция-преемница является одним из основных компонентов для построения примитивной рекурсивной функции.
- Последующие операции также известны как zeration в контексте нулевой гипероперации.
- Функция-преемница является частью формального языка, используемого для формулирования аксиом Пеано.
- В этой формализации функция-преемница является примитивной операцией над натуральными числами.
- Функция-преемница является основой 0-го уровня бесконечной иерархии гиперопераций Гжегорчика.
- Это также одна из примитивных функций, используемых для характеристики вычислимости с помощью рекурсивных функций.
Полный текст статьи: