Can I read Теорема Гёделя о неполноте в элементарном изложении on EtoBox?

Теорема Гёделя о неполноте в элементарном изложении by Успенский В.А. is a nonfiction available to read on EtoBox.

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

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

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

Author

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

Published

1974

Language

RU

Category

nonfiction

Subjects

Mathematics, Logic, Stem