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