О математике простым языком: от школы к университету

Мы живём в эпоху, когда информация стала доступнее, чем когда-либо. Учёные освоили технологию редактирования гены, они способны запускать ракеты к Марсу, создавать искусственный интеллект, пишущий стихи и диагностирующий болезни. Кажется, что наше знание о мире достигло небывалых высот. И чем больше мы знаем, тем увереннее должны смотреть вперёд, тем точнее должны быть наши прогнозы. Но происходит обратное: горизонт планирования сокращается, предсказания экономистов сбываются всё реже, а будущее, которое ещё вчера казалось ясным, сегодня выглядит размытым и тревожным. Парадокс коренится в самой природе накопленного знания. Технические знания, которые мы накапливаем, — это не знание о целях и смыслах, а знание о средствах. Каждый новый технологический прорыв и добавляет нам инструментов, и создаёт новые степени свободы, новые переменные для непредвиденных взаимодействий. Мир становится сложнее, а сложность — это враг предсказуемости. Попробуем представить себе мир сто лет назад, в 1920

Запуская любимую компьютерную игру, вы погружаетесь в мир, который кажется живым и настоящим. Персонажи двигаются плавно, ветер колышет траву, враги реагируют на ваши действия, а случайные события словно бы происходят сами собой. За этим представлением стоит огромная команда разработчиков: художники рисуют миры, программисты пишут код, сценаристы придумывают сюжеты. Но есть ещё один невидимый герой, без которого ни одна игра не смогла бы даже запуститься. Барабанная дробь... Это математика! И пусть её не видно в финальном продукте, каждый пиксель на экране, каждое движение и каждый просчёт искусственного интеллекта представляют собой, в основе своей, чистейшую математику. Каждую секунду игра десятки или даже сотни раз пересчитывает положение всех объектов на экране. Этот процесс называется рендерингом, и без математики он был бы невозможен. Координаты персонажа, его скорость, ускорение, вектор движения обрабатываются с помощью специальных формул. Если герой бежит с постоянной скорость

Когда мы произносим слова «алгебра», «алгоритм», «цифра», мы редко задумываемся об их происхождении. А между тем все они пришли в европейские языки из арабского, и все они — наследие эпохи, которую историки называют золотым веком арабской науки. В VIII–XIII веках, когда Европа погружалась в раннее Средневековье, а античное наследие казалось утерянным навсегда, на Востоке кипела интеллектуальная жизнь. Учёные переводили греческие рукописи, спорили о трудах индийских математиков, строили обсерватории и создавали то, без чего немыслима современная математика. Именно здесь родилась алгебра, арабские цифры завоевали мир, а само слово «математика» обрело новые смыслы. Всё началось с перевода. В 830 году в Багдаде халиф Аль-Мамун основал Дом мудрости (Байт аль-Хикма) — нечто среднее между академией, библиотекой и переводческим центром. Сюда стекались рукописи со всего известного мира: труды Евклида, Архимеда, Птолемея, Диофанта. Их переводили на арабский, комментировали, дополняли и начинали

Когда математик выводит новую теорему, он испытывает странное чувство, которое трудно описать словами. С одной стороны, он ощущает себя творцом — ведь именно он, напрягая ум, нашёл путь через лес символов и выстроил стройную цепочку рассуждений. С другой — его не покидает ощущение, что теорема уже была там, ждала его, как ждёт путешественника ещё не открытый материк. Он не придумал её, он её нашёл. Это двойственное переживание — быть одновременно и творцом, и первооткрывателем — лежит в самом сердце математического опыта. И оно ведёт к вопросу: математика открывается или изобретается? Существуют ли числа и геометрические фигуры где-то в мире идей, независимо от нашего сознания? Древние греки, впервые задавшие этот вопрос всерьёз, склонялись к тому, что математические истины существуют независимо от человека. Для Платона числа и геометрические фигуры обитали в особом мире, мире идей, вечном и неизменном. Мы не изобретаем теорему Пифагора, мы её открываем, как мореплаватель открывает но

Представьте человека, который произносит: «То, что я сейчас говорю, — ложь». Если высказывание истинно, значит, он действительно говорит правду, однако утверждает он, что лжёт. Следовательно, оно должно быть ложным. Но если оно ложно, значит, он не говорит правду, то есть на самом деле он не лжёт. Следовательно, оно истинно. Это, казалось бы, безобидное предложение заводит логику в тупик. Оно истинно тогда и только тогда, когда оно ложно. Это и есть парадокс лжеца — одна из древнейших интеллектуальных головоломок, которая уже две тысячи лет не даёт покоя философам, логикам и математикам. История парадокса начинается задолго до появления формальной логики. В VI веке до нашей эры критский философ и поэт Эпименид произнёс фразу, которая дошла до нас в пересказе апостола Павла: «Все критяне — лжецы». Парадокс здесь неявный, но уже ощутимый. Сам Эпименид был критянином. Если все критяне всегда лгут, то и его утверждение — ложь, а значит, не все критяне лжецы, и он сам, возможно, говорит пр

История π началась задолго до того, как оно получило своё имя. Древние вавилоняне довольствовались грубым приближением — 3,125. Египтяне были чуть точнее. Архимед в III веке до нашей эры впервые предложил метод, позволяющий вычислить π с любой желаемой точностью: он описывал вокруг окружности многоугольники и вписывал их, постепенно увеличивая число сторон. Ему удалось установить, что π находится между 3,1408 и 3,1429. Это был прорыв: π перестало быть таинственным соотношением и превратилось в число, которое можно изучать. За следующие столетия геометры довели точность до десятков знаков, но природа π оставалась загадкой: что это за число? Можно ли выразить его в виде простой дроби? В XVIII веке математики получили ответ: нельзя. π иррационально, его нельзя представить как отношение двух целых чисел. Десятичная дробь уходит в бесконечность, никогда не повторяясь. Это открытие само по себе было удивительным — ведь казалось, что такой простой геометрический объект, как круг, должен поро

Когда мы произносим слово «бесконечность», наше воображение обычно рисует что-то безграничное, необъятное, то, что нельзя измерить или сосчитать. Мы привыкли думать, что бесконечность — это просто «очень много», предел, которого нельзя достичь. Но в конце XIX века Георг Кантор совершил революцию, которая перевернула наши представления о бесконечности. Он доказал, что бесконечностей бывает не одна, а бесконечно много, и что среди них есть разные размеры. Кантор начал с простого вопроса: как сравнивать бесконечные множества? Если у нас есть две корзины с яблоками, мы можем сравнить их, не считая яблоки поштучно, а просто сопоставляя каждое яблоко из первой корзины с яблоком из второй. Если яблоки закончились в обеих корзинах одновременно, то их поровну. Этот же принцип — установление взаимно-однозначного соответствия — Кантор применил к бесконечным множествам. И здесь его ждал первый сюрприз. Оказалось, что натуральных чисел ровно столько же, сколько и чётных чисел. На первый взгляд это

В массовом сознании наука часто предстаёт как торжественное шествие истины: гениальные учёные ставят гениальные эксперименты, получают гениальные результаты и движут человечество вперёд по прямой дороге познания. Эта картина далека от реальности. Настоящая наука не прямой путь, но лабиринт с тупиками, неверными поворотами и бесконечными попытками. Исследователи то и дело ошибаются: выбирают не те гипотезы, неверно интерпретируют данные, попадают в плен собственных предубеждений. Но самое удивительное — многие из этих ошибок не тормозили прогресс, а, напротив, становились его двигателем. В истории науки есть множество примеров, когда заблуждение оказывалось плодотворнее самой точной догадки. Ошибка может указывать на неизведанную территорию, заставлять искать новые объяснения, провоцировать споры, из которых рождается истина. Ошибки могут оказаться необходимыми этапами познания, без которых наука развивалась бы гораздо медленнее. Рассмотрим же несколько самых ярких примеров того, как з

Вопрос о том, одиноки ли мы во Вселенной, волнует человечество с тех пор, как оно впервые подняло глаза к звездам. Когда стремительно развиваются астрономия и космические технологий, этот вопрос из области философии перешел в практическую плоскость. Мы открыли тысячи планет за пределами Солнечной системы — экзопланет, — и среди них ученые отчаянно ищут те, что хоть отдаленно напоминают наш родной дом. Но насколько успешны эти поиски? Где находятся самые перспективные кандидаты в «Земли 2.0» и что мы о них знаем? На сегодняшний день астрономам известно уже более пяти тысяч подтвержденных экзопланет, но лишь малая толика из них попадает в категорию «потенциально обитаемых». И это неслучайно: требования к кандидату чрезвычайно жесткие. Планета должна быть каменистой, а не газовым гигантом, иметь подходящий размер (примерно от 0,5 до 1,5 радиуса Земли), находиться в так называемой «зоне обитаемости» своей звезды — на таком расстоянии, где вода может существовать в жидком виде, и, желатель