Аннотация:
Условия Лёба: продолжение. Доказуемая тотальность функции конкатенации последовательности.
Доказуемо рекурсивные функции. Доказуемая однозначность функции. Примитивно рекурсивные функции. Теорема Парсонса-Минца-Такеути (формулировка). Теорема о доказуемой рекурсивности всех примитивно рекурсивных функций в теории $I\Sigma_1$. Идея доказательства. Схема $\Sigma_1$-ограниченности и ее выводимость в $I\Sigma_1$.
Обратная связь: