Математика привычна, когда помогает сосчитать овец или вести торговый учет. Но за простым сложением уже стоит абстракция: мы отвлекаемся от различий между предметами и оперируем их количеством. Банерджи и Дарлинг спрашивают, почему эта созданная разумом система так точно описывает физический мир и где проходят пределы ее применимости.
Авторы проводят читателя от повседневных вычислений к странным свойствам пространства. Четвертое измерение нельзя увидеть напрямую, но его можно изучать математически — например, через устройство тессеракта и аналогию с двумерными существами, наблюдающими, как сфера проходит сквозь их плоскость. То, что для них выглядит появлением, ростом и исчезновением окружности, помогает представить сечения четырехмерного объекта.
Разговор о случайности начинается с перемешанной колоды. Возможных порядков карт настолько много, что новая тасовка почти наверняка даст ранее не встречавшуюся последовательность. Однако пример лотерей показывает, как интуиция ошибается: шанс одного человека выиграть дважды мал, но при огромном числе участников и розыгрышей повторный выигрыш уже не выглядит невероятным. Важно учитывать все способы, которыми событие может произойти.
В главе о хаосе та же мысль раскрывается на опыте метеоролога Эдварда Лоренца. Перезапуская расчет погоды с промежуточных данных, он ввел округленные числа вместо тех, что хранились в компьютере с большей точностью. Сначала результаты почти совпадали, затем различия нарастали, и графики разошлись. Малое изменение начальных условий способно сильно повлиять на прогноз, хотя сама система подчиняется правилам.
Простые числа тоже кажутся беспорядочными: заранее неизвестно, где появится следующее. Но если смотреть на большие группы, проступает статистическая закономерность. Спираль Улама, где числа записаны по спирали, а простые отмечены, показывает, что многие из них выстраиваются вдоль диагоналей. Это не раскрывает полного закона их распределения, но указывает на порядок, который трудно заметить, рассматривая числа по одному.
Авторы переходят от математики к музыке и вычислениям. Гармоничные музыкальные интервалы связаны с отношениями частот, а равномерно темперированный строй позволяет исполнять музыку в разных тональностях на одном инструменте. Машина Тьюринга, напротив, показывает границы вычислимого: простая абстрактная модель способна описать работу любого обычного компьютера, но не существует общего алгоритма, который всегда определит, остановится ли произвольная программа.
В финальных главах парадоксы ставят под вопрос привычные представления о логике, идентичности и бесконечности. Некоторые лишь кажутся противоречивыми, другие выявляют слабость математической системы и заставляют искать более строгие основания. Книга не сводит математику к готовым ответам: она показывает, как доказательство, модель и правильно поставленный вопрос помогают исследовать то, что невозможно увидеть или просчитать напрямую.
