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

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

Автор: Успенский Владимир Андреевич
Журнал: Успехи математических наук
Том: 29
Номер: 1
Год издания: 1974
Издательство: ФГБУ "Издательство "Наука"
Местоположение издательства: Москва
Первая страница: 3
Последняя страница: 47
Аннотация: Теорема Гёделя о неполноте отрицает возможность такой системы аксиом и правил вывода, при которой совокупность утверждений, выводимых из аксиом, совпадает с совокупностью истинных утверждений арифметики (более того, для всякой непротиворечивой системы может быть эффективно построено истинное, но не выводимое утверждение). Статья посвящена доказательству этой теоремы, опирающемуся на понятия и методы теории алгоритмов; необходимые сведения из теории алгоритмов сообщаются по мере надобности. Статья не требует никаких специальных знаний (в частности, из области математической логики), а предполагает лишь знакомство с элементарной общематической терминологией и символикой. ====================== URL: http://mi.mathnet.ru/umn4322
Добавил в систему: Успенский Владимир Андреевич

	ИСТИНА	Войти в систему Регистрация
	ИСТИНА ЦЭМИ РАН
	Главная Поиск Статистика О проекте Помощь

ИСТИНА

ИСТИНА ЦЭМИ РАН

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

Прикрепленные файлы