| Описание: |
План брошюры таков. В § 1 формулируется теорема о неполноте и уточняется ее формулировка, в частности вводится центральное для данной брошюры понятие дедуктики. В § 2 излагаются на неформальном уровне начальные понятия теории алгоритмов, и на их основе формулируются первые критерии полноты и неполноты. В § 3 продолжается исследование критериев неполноты. В § 4 описывается язык формальной арифметики, дается точное определение понятия истинности утверждения этого языка и точная формулировка теоремы Гёделя о неполноте для формальной арифметики. В § 5 на основе дальнейшего развития тех представлений об алгоритмах, которые были описаны в § 2,— развития, закрепляемого в виде трех аксиом теории алгоритмов, — завершается доказательство теоремы о неполноте формальной арифметики.
|