Home Explore Help
Register Sign In
rt-in_progress
/
rt-g0_73c250c9-Kleene_VVM-russian
3
0
Fork 0
Files Issues 0 Pull Requests 0
Tree: 74d7a1f931
Branches Tags
rt-g0_73c250...
/
parts
/
part4-mathematical_logic_additional_topics.tex

part4-mathematical_logic_additional_topics.tex 2.2 KB
History Raw

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364 
  1. \part[Математическая~логика\texorpdfstring{\break}{ }(\texorpdfstring{\lowercase{дополнительные~разделы}}{дополнительные~разделы})]%
    2. 

  2. {Математическая~логика\texorpdfstring{\break}{ }(\texorpdfstring{\lowercase{дополнительные~разделы}}{дополнительные~разделы})}
    3. 

  3. \label{part:mathematical_logic_additional_topics}
    4. 

  4. 

  5. \chapter{Исчисление предикатов и системы аксиом}
    6. 

  6. \label{chap:the_predicate_calculus_and_axiom_systems}
    7. 

  7. 

  8. \section{Гёделевская теорема о полноте}
    9. 

  9. \label{sec:goedel_s_completeness_theorem}
    10. 

  10. 

  11. stub
    12. 

  12. 

  13. \section{Исчисление предикатов с равенством}
    14. 

  14. \label{sec:the_predicate_calculus_with_equality}
    15. 

  15. 

  16. stub
    17. 

  17. 

  18. \section{Элиминируемость (устранимость) описательных определений}
    19. 

  19. \label{sec:eliminability_of_descriptive_definitions}
    20. 

  20. 

  21. stub
    22. 

  22. 

  23. \section{Система аксиом, парадокс Сколема, натуральный ряд чисел}
    24. 

  24. \label{sec:axiom_systems_skolem_s_paradox_the_natural_number_sequence}
    25. 

  25. 

  26. stub
    27. 

  27. 

  28. \section{Проблема разрешимости}
    29. 

  29. \label{sec:the_decision_problem}
    30. 

  30. 

  31. stub
    32. 

  32. 

  33. \chapter{Непротиворечивость; классическая и интуиционистская системы}
    34. 

  34. \label{chap:consistency_classical_and_intuition_systems}
    35. 

  35. 

  36. \section{Формальная система Генцена}
    37. 

  37. \label{sec:gentzen_s_formal_system}
    38. 

  38. 

  39. stub
    40. 

  40. 

  41. \section{Теорема Генцена о нормальной форме}
    42. 

  42. \label{sec:gentzen_s_normal_form_theorem}
    43. 

  43. 

  44. stub
    45. 

  45. 

  46. \section{Доказательства непротиворечивости}
    47. 

  47. \label{sec:consistency_proofs}
    48. 

  48. 

  49. stub
    50. 

  50. 

  51. \section{Разрешающая процедура, интуиционистская недоказуемость}
    52. 

  52. \label{sec:decision_procedure_intuitionistic_unprovability}
    53. 

  53. 

  54. stub
    55. 

  55. 

  56. \section{Редукция классических систем к интуиционистским}
    57. 

  57. \label{sec:reduction_of_classical_to_intuitionistic_systems}
    58. 

  58. 

  59. stub
    60. 

  60. 

  61. \section{Рекурсивная реализуемость}
    62. 

  62. \label{sec:recursive_realizability}
    63. 

  63. 

  64. stub
    65.