USA.: The Pennsylvania State University. 2000. - 77p. English.
Хорошо составленный курс лекций по математической логике (на
английском языке), читаемый автором в университете штата
Пенсильвания, США.
Содержит:
1. Исчисление высказываний: теоремы полноты и компактности в них;
2. Исчисление предикатов: теоремы полноты и компактности в них;
3. Теория доказательств: система доказательства Hilbert-стиля, системы доказательства Gentzen-стиля, теорема интерполяции.
4. Расширения исчисления предикатов.
5. Теории, модели, определимость: математические теории, определимость по модели, теорема определимости Beth'a.
6. Арифметизация исчисления предикатов: примитивно рекурсивная арифметика, числа Гёделя, теоремы неполноты. Книга С.Г. Симпсона может служить не только кратким введением в математическую логику.
но также может служить хорошим пособием для спецкурсов.
При небольшом объеме в ней излагаются все основные вопросы, включая знаменитые теоремы Гёделя о полноте исчисления предикатов и неполноте арифметики.
Книга предназначается для студентов курсов математических факультетов и лиц прикладных специальностей. Она может быть полезна также преподавателям математики и логики в ВУЗах.
1. Исчисление высказываний: теоремы полноты и компактности в них;
2. Исчисление предикатов: теоремы полноты и компактности в них;
3. Теория доказательств: система доказательства Hilbert-стиля, системы доказательства Gentzen-стиля, теорема интерполяции.
4. Расширения исчисления предикатов.
5. Теории, модели, определимость: математические теории, определимость по модели, теорема определимости Beth'a.
6. Арифметизация исчисления предикатов: примитивно рекурсивная арифметика, числа Гёделя, теоремы неполноты. Книга С.Г. Симпсона может служить не только кратким введением в математическую логику.
но также может служить хорошим пособием для спецкурсов.
При небольшом объеме в ней излагаются все основные вопросы, включая знаменитые теоремы Гёделя о полноте исчисления предикатов и неполноте арифметики.
Книга предназначается для студентов курсов математических факультетов и лиц прикладных специальностей. Она может быть полезна также преподавателям математики и логики в ВУЗах.