Эти заметки написаны за последние двадцать лет. При отборе я руководствовался следующими принципами. Прежде всего это глубина, мощь и просто красота идей, о которых в них рассказано. Теория относительности Эйнштейна (и специальная, и общая), квантовая механика, теория групп, бесконечность и бесконечно малые величины, теория вычислимости Тьюринга и «проблема разрешимости», теоремы о неполноте Гёделя, простые числа и дзета-гипотеза Римана, теория категорий, топология, пространства высоких размерностей, фракталы, регрессионный анализ и кривая нормального распределения, теория истины – все это входит в число самых восхитительных интеллектуальных достижений, с какими мне приходилось сталкиваться (и к тому же воспитывает смирение). И все они описаны на этих страницах. Мой идеал – светская беседа за коктейлем: лаконично и занятно рассказать любознательному другу о чем-то очень глубоком и сложном, ограничившись самой сутью дела (и, возможно, начирикав что-то наспех на салфетке). Моя цель – просветить неофита, а заодно показать все под новым углом, что порадует и специалиста. И ни в коем случае не даст заскучать.
Во-вторых, меня заботил человеческий фактор. Все эти идеи подарили нам живые люди, прожившие весьма яркую жизнь. Зачастую в биографиях основоположников великих идей прослеживается нотка абсурда. Создатель современной статистики (и человек, первым задавшийся вопросом о соотношении ролей природы и воспитания в становлении личности) сэр Фрэнсис Гальтон был типичным викторианским ученым-педантом, отправился исследовать африканские буши и пережил там комичные злоключения. А центральной фигурой в истории «проблемы четырех красок» был чудаковатый математик и специалист по древним языкам Перси Хивуд, которого друзья прозвали «Котиком» за пышные кошачьи усы.
Однако чаще их биографии окрашены трагически. Эварист Галуа, создатель теории групп, погиб на дуэли, не дожив и до 21 года. Автор самых революционных идей в математике за последние полвека Александр Гротендик окончил свои бурные дни полусумасшедшим отшельником в Пиренеях. Творец теории бесконечности Георг Кантор увлекся каббалистическим мистицизмом и умер в сумасшедшем доме. Ада Лавлейс, икона киберфеминизма, в честь которой назвали язык программирования, используемый Министерством обороны США, страдала нервными кризами из-за навязчивой идеи, что она должна искупить грехи своего отца лорда Байрона, на чьем счету был инцест – любовная связь со сводной сестрой. Дмитрий Егоров и Павел Флоренский, великие русские ученые, разрабатывавшие теорию бесконечности, были обвинены в антиматериалистическом спиритуализме и погибли в сталинском Гулаге. Курт Гёдель, величайший логик современности, уморил себя голодом из-за параноидального убеждения, что против него составлен вселенский заговор и его хотят отравить. Дэвид Фостер Уоллес, о чьих попытках подойти к теории бесконечности я еще расскажу, повесился. А Алан Тьюринг, человек, который придумал компьютер, решил главную логическую задачу своего времени и спас бессчетное множество жизней, взломав нацистский код «Энигмы», покончил с собой по не вполне понятным причинам, съев начиненное цианидом яблоко.