Новый Мир ( № 11 2007)

Являясь (через Колмогорова) научным внуком Лузина, автор настоящего очерка с сочувствием относится к формуле “математика для математики”, образованной по аналогии с известным слоганом “искусство для искусства”. Однако всё не так просто. Следует огорчить любителей чистого разума и утешить сторонников практической пользы. Опыт развития математики убеждает, что самые, казалось бы, оторванные от практики её разделы рано или поздно находят важные применения. Всю первую половину XX века математическая логика рассматривалась как наука, занятая исключительно проблемами логического обоснования математики, как своего рода философский анклав в математике; в СССР она находилась под подозрением со стороны борцов со всевозможными “измами”, и первая кафедра математической логики была открыта лишь в 1959 году. Сегодня математическая логика переплетена с теоретической информатикой (Theoretical Computer Science) и служит для последней фундаментом. Теория чисел, одна из древнейших математических теорий, долгое время считалась чем-то вроде игры в бисер. Оказалось, что без этой теории немыслима современная криптография, как и другие важные направления, объединённые названием “защита информации”. Специалисты по теоретической физике интересуются новейшими разработками алгебраической геометрии и даже такой абстрактной области, как теория категорий.