Н 73 Новиков, Петр Сергеевич (1901 - 1975). Конструктивная математическая логика [Текст] / П.С. Новиков. - Москва : Наука, Главная редакция физико-математической литературы, 1977. - 328 с. ; 21 см. - (Математическая логика и основания математики). - Библиогр.: с. 318-320. - Указ. имен: с. 323. - Предм. указ.: с. 324-328. - 14000 прим.. -
Анотація: Книга написана на основе лекций, читавшихся П. С. Новиковым в МГУ, В ней излагаются некоторые вопросы математической логики, не рассмотренные в его предыдущей книге «Элементы математической логики». В этом смысле она как бы дополняет предыдущую книгу. В то же время книгу можно читать независимо, так как в ней подробно излагается весь нужный по ходу дела материал, относящийся к классическим логическим исчислениям. В книге рассматриваются интерпретации конструктивных формальных систем в классических терминах и с использованием средств классической математики. Вопросы семантики конструктивной логики изложены в оригинальной и доступной для читателя форме. Доказательства основных утверждений приводятся во всех деталях. Только в последней главе опущены доказательства некоторых утверждений, относящихся к теории рекурсивных функций и теореме Гёделя о неполноте формальной арифметики. Книга доступна широкому кругу читателей. Для ее чтения не требуется специальной подготовки. В то же время насыщенность разнообразными техническими деталями делает ее полезной для лиц, занимающихся исследованием математических аспектов конструктивной логики. Книга может служить основой для спецкурсов. Скачать содержание Утримувачі документа: Дом А. Ф. Лосева Примірників всього: 1 ХР (1) Свободны: ХР (1) |