Нагель Э., Ньюмен Дж. Р. Теорема Гёделя

формат djvu
размер 1.28 МБ
добавлен 24 сентября 2010 г.

Книга посвящена теореме Геделя о неполноте. Эта теорема была изложена в 1931 году в небольшой статье К. Геделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей и методов математической логики, строят изложение вокруг центральных, с их точки зрения, проблем этой науки - проблем непротиворечивости и полноты. Доказательство того факта, что для достаточно богатых математических теорий требования эти несовместимы, и есть то поразительное открытие Геделя, которому посвящена книга.
Для специалистов по математической логике, студентов и аспирантов, а также всех заинтересованных читателей.

Год: 2010.
Издательство: М.: Красанд.
ISBN: 978-5-396-00092-6.
Серия: Науку - всем! Шедевры научно-популярной литературы.
Количество страниц: 121.

Похожие разделы

Смотрите также

Верещагин Н.К., Шень А. Начала теории множеств

формат pdf
размер 907.47 КБ
добавлен 04 октября 2009 г.

М.: МЦНМО, 2002 г. - 128 с. 150 задач различной трудности. По материалам лекций и семинаров для студентов младших курсов мехмата МГУ. Основные понятия "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Содержание: 1. Множества и мощности. 1.1. Множества. 1.2. Число элементов. 1.3. Равномощные множества. 1.4. Счётные множества. 1.5. Теорема Кантора-Бернштейна. 1.6. Теорема Кантора. 1.7. Функции. 1.8....

Гончаров С.С. Лекции по математической логике

формат pdf
размер 7.53 МБ
добавлен 02 октября 2010 г.

НГУ. Новосибирск. 2007. - 141 с. Содержание: Модели и алгебраические системы фиксированной сигнатуры; Гильбертовское исчисление предикатов; Секвенциальное исчисление предикатов; Нормальные формы в исчислении предикатов; Непротиворечивые множества формул; Теория Хенкина; Теорема Гёделя о полноте; Аксиоматическая теория множества ZF; Арифметика Пеано; Примитивно рекурсивные функции и отношения; Теоремы о представимости; Гёделевская нумерация; Алгор...

Колмогоров А.Н, Драгалин А.Г. Математическая логика (Введение в математическую логику + Математическая логика. Дополнительные главы)

формат djvu
размер 3.34 МБ
добавлен 23 января 2010 г.

М.: КомКнига, 2006. - 240 с. Классический университетский учебник. В настоящее издание включены учебники А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. А. Н. Колмогоров (1903-1987) и А. Г. Драгалин (1941-1998) — выдающиеся...

Курсовая работа - Теорема о неподвижной точке

Курсовая работа

формат doc
размер 113.5 КБ
добавлен 15 июня 2010 г.

Введение. Теорема о неподвижной точке. Неподвижная точка и отношения эквивалентности. Системный трюк: ещё одно доказательство. Несколько замечаний. Практическая часть. Заключение. Список литературы.

Миронов А.М. Математическая логика

формат pdf
размер 704.77 КБ
добавлен 29 апреля 2010 г.

Содержание. Высказывания. Формулы логики высказываний. Анализ рассуждений. Метод резолюций для ЛВ. Введению в теорию множеств. Отношения и функции. Основные результаты теории множество. Логика предикатов. Теорема Эрбрана. Метод резолюций для ЛП. Семантический вывод. Теорема Геделя. Модальная логика. Нечеткие логики.

Непейвода Н.Н. Прикладная логика

формат pdf
размер 2.31 МБ
добавлен 19 сентября 2010 г.

Учебное пособие. Ижевск, 2000. 529 с. Язык математики. Необходимость точного языка в математике. Как и почему появился язык математической логики? Зачем изучать формальный язык математики? Простейшие высказывания. Что такое высказывание? Математическая интерпретация высказываний. Предметы и универс. Термы. Предикаты и элементарные формулы. Некоторые обозначения. Запись высказываний. Логические формулы. Связка ‘и’. Связка ‘или’. Связка ‘следует’....

Новиков П.С. Элементы математической логики

формат djvu
размер 6.3 МБ
добавлен 27 июня 2009 г.

Петр Сергеевич Новиков (1901-1975) - один из создателей школы математической логики в СССР, академик АН СССР, лауреат Ленинской премии. Основные труды по теории множеств, математической логике, теории алгоритмов, теории групп. В настоящей книге сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги, составляющие ее основное содержание (логика и исчисление высказываний, ло...

Робинсон А. Введение в теорию моделей и метаматематику алгебры

формат djvu
размер 3.08 МБ
добавлен 08 июля 2011 г.

М.: Наука, 1967. - 376 с. Серия "Математическая логика и основания математики". Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н. И. Лобачевский, но в полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символически...

Успенский В.А. Теорема Гёделя о неполноте

формат djvu
размер 1.8 МБ
добавлен 04 октября 2009 г.

М.: Наука, 1982. -110 с. Содержание: 1. Постановка задачи. 2. Начальные понятия теории алгоритмов и их применения. 3. Простейшие критерии неполноты. 4. Язык алгоритмов. 5. Три аксиомы теории алгоритмов. ПРИЛОЖЕНИЯ: А. Синтаксическая и семантическая формулировки теоремы о неполноте. Б. Арифметические множества и теорема Тарского о неарифметичности множества истинных формул языка арифметики. В. Язык адресных программ, расширенный арифметически...

Успенский В.А., Верещагин Н.К., Плиско В.Е. Вводный курс математической логики

формат djvu
размер 862.87 КБ
добавлен 01 ноября 2009 г.

М.: Физматлит,2004г. — 128 с. В уч. пособии содержится материал осн. курса «Введение в мат. логику», читаемого на мех. -мат. фак. МГУ. Излагаются элементы теории множеств, осн. понятия, относящиеся к семантике формализованных логико-матем. языков 1-го порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов матем. факультетов университетов, пед. институтов, а также др. вузов...