Почти двадцать пять столетий математика существует не как сборник практических рецептов, а как дедуктивная наука, в которой огромное количество содержательных результатов выводится логическим путем из ничтожного количества предложений — аксиом. Естественно, что и в самой математике и в философии с древних времен возникали и обсуждались многочисленные животрепещущие проблемы: Каков предмет математики? Каково ее отношение к действительности? Как возникают ее понятия? Каким образом математическое абстрагирование естественнонаучной или инженерной проблемы позволяет проникать глубже и точнее в течение явлений, чем непосредственное их наблюдение и экспериментальное изучение? Какое значение имеет разработка специфического научного языка для развития самой математики и ее применений к реальным проблемам? Все эти вопросы, а также многие другие продолжают волновать человечество и сегодня. Как и две тысячи лет назад, представители различных философских направлений отвечают на них по-разному.
Пособие предназначено для студентов, специализирующихся по информатике, а также всех тех, кто желает начать систематическое изучение математической логики
