Альберт Драгалин

A.N.Kolmogorov у A.G.Dragalin, eminentes logicos у matematicos sovieticos, ejercieron una marcada influencia en el esnlo у la direccion de las investigaciones en el campo de la logica у la filosofla matematica a nivel mundial. El presente libro fue escrito sobre la base del curso de logica matematica impartido por ambos autores en la Facultad de Mecanica у Matematica de la Universidad Estatal "...

Книга представляет собой вторую часть учебного пособия авторов "Введение в математическую логику" (Издательство Московского университета, 1982 г.), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Гёделя о неполноте. Обсуждается программа Гильберта...

Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и логики предикатов. Изложение не предполагает специальных знаний и рассчитано на студентов младших курсов.