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

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

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

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

stub

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

stub

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

stub

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

stub

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

stub

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

stub

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

stub




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

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

stub

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

stub

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

stub

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

stub


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

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

stub

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

stub

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

stub

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

stub

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

stub

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

stub

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

stub

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

stub


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


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

stub

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

stub

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

stub

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

stub

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

stub


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

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

stub

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

stub

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

stub

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

stub

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

stub