rt-g0_73c250c9-Kleene_VVM-russian/parts/translator_s_appendixes.tex

\part*{Добавления переводчика}%
\label{part:interpreter_s_appendices}%

\thispagestyle{empty}%
\vspace*{50pt}%
\chapter[Доказательство второй теоремы Гёделя]{Доказательство второй теоремы Гёделя}%
% в этом заголовке есть сноска - смотреть в файле bookvvmrus.cls
% условие \if под комментарием "грязный хак"
%
\label{apx:proof_of_the_2nd_goedel_s_theorem}

stub

\chapter{Восполнение пробела в \textsection\textsection~%
\texorpdfstring{%
    \lowercase{%
        \ref{%
           sec:primitive_recursive_functions_and_the_number-theoretic_formalism%
            }~и~%
        \ref{sec:eliminability_of_descriptive_definitions}
    }%
}{49 и 74}}
\label{apx:filling_the_gap_in_49_and_74}

stub

\chapter{О формализуемости перехода от (%
    \texorpdfstring{\lowercase{iv}}{iv}) к (\texorpdfstring{\lowercase{v}}{v}%
    ) в доказательстве теоремы 36}% TODO: сделать все линки
\label{apx:about_formalisation_of_transition_from_iv_to_v_in_proof_of_theorem_36}

stub

\chapter[%
    Построение формулы~\texorpdfstring{В}{В} примера 2 % TODO: сделать оба линка
    \textsection~\texorpdfstring{\lowercase{\ref{sec:consistency_proofs}}}{79}
]%
{Построение формулы~\texorpdfstring{\textmd{В}}{В} %
    примера 2 % TODO: сделать оба линка
    \textsection~\texorpdfstring{\lowercase{\ref{sec:consistency_proofs}}}{79}}
\label{apx:formation_of_formulae_C_example_2_in_79}

stub

\chapter{Об устранимости равенства и неопределённых описаний}
\label{apx:about_elimination_of_equality_and_undefined_descriptions}

stub

\chapter%
    [О формализации индукции до порядковых чисел, меньших
        \texorpdfstring{$\varepsilon_0$}{эпсилон нулевое} в системе гл.~%
        \texorpdfstring{\lowercase{\ref{chap:a_formal_system}} %
            {(\lowercase{по }%
                Г\lowercase{ильберту}-Б\lowercase{ернайсу %
                \lbrack 1939, стр.361--366\rbrack})%
            }%
        }%
        {IV (по Гильберту-Бернайсу\lbrack 1939, стр.361--366\rbrack )}%
    ]%
    {О формализации индукции до порядковых чисел, меньших
        \texorpdfstring{$\varepsilon_0$}{эпсилон нулевое} в системе гл.~%
        \texorpdfstring{\lowercase{\ref{chap:a_formal_system}}%
            \vskip 1ex \relax\textmd{(\lowercase{по }%
                Г\lowercase{ильберту}-Б\lowercase{ернайсу %
                \lbrack 1939, стр.361--366\rbrack})%
            }%
        }{IV (по Гильберту-Бернайсу\lbrack 1939, стр.361--366\rbrack )}%
    }%
    % TODO: сделать линк на библиографию
\label{%
    apx:about_formalisation_of_induction_upto_ordinal_numbers_less_than_epsilon}

stub

\chapter{Доказательство непротиворечивости классической арифметики с помощью индукции до \texorpdfstring{$\varepsilon_0$}{эпсилон нулевое} (по Шютте). Результат П.~С.~Новикова}
\label{apx:proof_of_consistency_of_classic_arithmetic}

stub