Математическая логика

Abstract

Книга известного американского логика Дж.Шенфилда посвящена основам современной математической логиги и теории алгоритмов. В книге систематически изучаются такие важные разделы, как теории первого порядка, теория моделей, вычислимость, иерархии, формальная арифметика, аксиоматическая теория множеств. Имеются два приложения: одно алгебраическое - проблема тождества слов в группах, другое - изложение результатов, связанных с исследованиями континуум-гипотезы в аксиоматической теории множеств. Является одним из основных источников для изучения оснований математики.

Из предисловия: Предлагаемая вниманию читателей книга сочетает в себе (относительную) простоту изложения с почти энциклопедической полнотой содержания. Ее выход в русском переводе будет полезен широкому кругу читателей. Полнота изложения книги весьма впечатляюща. При сравнительно небольшом объеме она содержит практически все теоремы, заслужившие всеобщее признание специалистов, в области математической логики, теории моделей и теории алгоритмов. Краткость книги достигнута многими авторскими находками в способе подачи материала. Многие важные результаты излагаются в упражнениях, которые составляют необходимую органическую часть книги.