rt-g0_73c250c9-Kleene_VVM-russian/parts/part3-recursive_functions.tex

\part{Рекурсивные функции}
\label{part:recursive_functions}

\chapter{Примитивно-рекурсивные функции}
\label{chap:primitive_recursive_functions}

\section{Примитивно-рекурсивные функции}
\label{sec:primitive_recursive_functions}

stub

\section{Явное определение}
\label{sec:explicit_definition}

stub

\section{Предикаты, представления с помощью простых множителей}
\label{sec:predicates_prime_factor_representation}

stub

\section{Возвратная рекурсия}
\label{sec:course_of_values_recursion}

stub

\section{Равномерность}
\label{sec:uniformity}

stub

\section{\texorpdfstring{\protect$\beta$}{Бета}-функция Гёделя}
\label{sec:goedel_s_b-function}

stub

\section{Примитивно-рекурсивные функции и арифметический формализм}
\label{sec:primitive_recursive_functions_and_the_number-theoretic_formalism}

stub




\chapter{Арифметизация математики}
\label{chap:the_arithmetization_of_metamathemathics}

\section{Метаматематика как обобщённая арифметика}
\label{sec:metamathematics_as_generalized_arithmetic}

stub

\section{Рекурсивные метаматематические определения}
\label{sec:recursive_metamathematical_definitions}

stub

\section{Гёделевская нумерация}
\label{sec:goedel_numbering}

stub

\section{Индуктивные и рекурсивные определения}
\label{sec:inductive_and_recursive_definitions}

stub


\chapter{Обще-рекурсивные функции}
\label{chap:general_recursive_functions}

\section{Формальное вычисление примитивно-рекурсивных функций}
\label{sec:formal_calculation_of_primitive_recursive_functions}

stub

\section{Обще-рекурсивные функции}
\label{sec:general_recursive_functions}

stub

\section{Арифметизация формализма рекурсивных функций}
\label{sec:arithmetization_of_the_formalism_of_recursive_functions}

stub

\section{\texorpdfstring{\protect$\mu$}{Мю}-оператор, нумерация, диагональный процесс}
\label{sec:the_mu_operator_enumeration_diagonal_procedure}

stub

\section{Нормальная форма, теорема Поста}
\label{sec:normal_form_post_s_theorem}

stub

\section{Обще-рекурсивные функции и арифметический формализм}
\label{sec:general_recursive_functions_and_the_number-theoretic_formalism}

stub

\section{Теорема Чёрча, обобщённая теорема Гёделя}
\label{sec:church_s_theorem_the_generalized_goedel_s_theorem}

stub

\section{Симметричная форма теоремы Гёделя}
\label{sec:a_symmetric_form_of_goedel_s_theorem}

stub


\chapter{Частично-рекурсивные функции}
\label{chap:partial_recursive_functions}


\section{Тезис Чёрча}
\label{sec:church_s_thesis}

stub

\section{Частично-рекурсивные функции}
\label{sec:partial_recursive_functions}

stub

\section{\texorpdfstring{\protect$3$}{3}-значная логика}
\label{sec:the_3-valued_logic}

stub

\section{Гёделевские номера}
\label{sec:goedel_numbers}

stub

\section{Теорема о рекурсии}
\label{sec:the_recursion_theorem}

stub


\chapter{Функции, вычислимые по Тьюрингу}
\label{chap:computable_functions}

\section{Машины Тьюринга}
\label{sec:turing_machines}

stub

\section{Вычислимость рекурсивных функций}
\label{sec:computability_of_recursive_functions}

stub

\section{Рекурсивность вычислимых функций}
\label{sec:recursiveness_of_computable_functions}

stub

\section{Тезис Тьюринга}
\label{sec:turing_thesis}

stub

\section{Проблема тождества для полугрупп}
\label{sec:the_word_problem_for_semi-groups}

stub