"Популярные лекции по математике", выпуск 57. Теорема Гёделя о неполноте

Автор(ы):Успенский В. А.
07.07.2008
Описание: План брошюры таков. В § 1 формулируется теорема о неполноте и уточняется ее формулировка, в частности вводится центральное для данной брошюры понятие дедуктики. В § 2 излагаются на неформальном уровне начальные понятия теории алгоритмов, и на их основе формулируются первые критерии полноты и неполноты. В § 3 продолжается исследование критериев неполноты. В § 4 описывается язык формальной арифметики, дается точное определение понятия истинности утверждения этого языка и точная формулировка теоремы Гёделя о неполноте для формальной арифметики. В § 5 на основе дальнейшего развития тех представлений об алгоритмах, которые были описаны в § 2,— развития, закрепляемого в виде трех аксиом теории алгоритмов, — завершается доказательство теоремы о неполноте формальной арифметики.
Оглавление: Оглавление отсутствует
Формат: djvu
Размер:1589611 байт
Язык:РУС
Рейтинг: 193 Рейтинг
Открыть: