RUSSIAN

Теорема Гёделя о неполноте в элементарном изложении

By Успенский В.А.

Book information

Language
russian
Format
PDF
Filesize
3 MB (3129473 bytes)
Pages
\45
Topic
Mathematics Logic
Library
twirpx
Time added
2017-08-07 07:01:42
Математика;Математическая логика

Description

Из журнала "Успехи математических наук", 1974 г. т.XXIX, вып. 1(175), стр.3-47Теорема Гёделя о неполноте отрицает возможность такой системы аксиом и правил вывода, при которой совокупность утверждений, выводимых из аксиом, совпадает с совокупностью истинных утверждений арифметики (более того, для всякой непротиворечивой системы может быть эффективно построено истинное, но не выводимое утверждение). Статья посвящена доказательству этой теоремы, опирающемуся на понятия и методы теории алгоритмов; необходимые сведения из теории алгоритмов сообщаются по мере надобности. Статья не требует никаких специальных знаний (в частности, из области математической логики), а предполагает лишь знакомство с элементарной общематической терминологией и символикой.

Similar books