Лекция 11. Доказуемо рекурсивные функции

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