24 вычислимость и разрешимость

- универсальная функция - теорема о существовании перечислимого неразрешимого множества - неразрешимость проблемы остановки (останова) - неперечислимое множество, дополнение к которому неперечислимо - теорема Райса-Успенского - функциональный вариант теоремы Гёделя для арифметик спецкурс про теорему Гудстейна: построение примера недоказуемо тотальной функции: (без использования функции Гудстейна)