Правдива ли евклидова геометрия? Верно ли она описывает пространство, в котором мы живем? Что значит истинность геометрии? Гаусс был одержимый идеей эмпирической верификации теорем евклидовой геометрии, и даже сам лично принял участие в проверке теоремы о равенстве π суммы внутренних углов треугольника. В этом направлении долгое время Гаусс работал один, продолжая начатую задолго до него критическую линию по пересмотру евклидовой геометрии. Но вот в 1830-е годы появились две важные работы, которые он с энтузиазмом поддержал. Это были работа русского математика, ректора Казанского университета Николая Лобачевского и работа венгра Яноша Бойяи.

В чем заключается аксиоматический метод? Как развивалось понятие аксиомы? Кем был разработан аксиоматический метод? Какое место он занимает в математике? И какой критике подвергается этот метод? Математик Лев Беклемишев о неевклидовой геометрии, системе аксиом Гильберта и смысле в математике.

Какую часть математических доказательств можно поручить компьютеру? Какие существуют виды интерактивных систем поиска математических доказательств? В чем заключается теорема о четырех красках? И как она была доказана? Математик Лев Беклемишев о теории множеств, интерактивных системах и проблеме о четырех красок.

Математика — универсальный язык Вселенной, фундамент, на котором основаны все другие науки. Как человечество смогло открыть тайны этого универсального языка? Начиная с древнейших времен, прослеживается история математики до наших дней и завершается рассказом о наиболее важных проблемах современности. Их решение позволит лучше понять устройство нашего мира.

Целью этой книги является строгое определение чисел, многочленов и алгебраических дробей и обоснование их свойств, уже известных из школы, а не ознакомление читателя с новыми свойствами. Поэтому читатель не найдет здесь новых для него фактов (за исключением, быть может, некоторых свойств, действительных и комплексных чисел), но узнает, как доказываются вещи, хорошо ему известные, начиная с «дважды два — четыре» и кончая правилами действий с многочленами и алгебраическими дробями. Зато читатель познакомится с рядом общих понятий, играющих в алгебре основную роль.

Параллельные прямые не пересекаются даже в геометрии Лобачевского. Где-то в фильмах часто можно встретить фразу: «А у нашего Лобачевского параллельные прямые пересеклись». Звучит красиво, но не соответствует действительности. Николай Иванович Лобачевский действительно придумал необыкновенную геометрию, в которой параллельные прямые ведут себя совсем не так, как мы привыкли. Но все же не пересекаются. Математик Валентина Кириченко о постулатах геометрии Евклида, аксиоме Лобачевского и критике Льюиса Кэрролла.

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

Как «единица» помогла построить первые города и великие империи? Как вдохновляла выдающиеся умы человечества? Какую роль в появлении денег она сыграла? Как «единица» объединилась с нулем, чтобы править современным миром? История единицы неразрывно связана с историей европейской цивилизации. Терри Джонс отправляется в юмористическое путешествие с целью собрать воедино удивительную историю нашего самого простого числа. С помощью компьютерной графики в этой программе единица оживает в самых различных испостасях. Из истории единицы становится ясно, откуда появились современные числа, и каким образом изобретение нуля спасло нас от необходимости сегодня использовать римские цифры.

Труды Кантора в России начали переводить и пересказывать с 1892 года в Одессе, Москве, Томске, Казани, Петрограде. Идеи теории множеств были с энтузиазмом восприняты в России как математиками, так и философами, в их популяризации приняли участие такие известные учёные, как И.Ю. Тимченко, С.О. Шатуновский, А.В. Васильев, П.А. Флоренский, Б.К. Млодзеевский, В.Л. Некрасов, И.И. Жегалкин, П.С. Юшкевич-отец, А.И. Фет, А.П. Юшкевич-сын, А.Н. Колмогоров, Ф.А. Медведев. В Москве в 1911 году возникла школа теории функций и дескриптивной теории множеств. В 1970 году академик Понтрягин оценил теорию множеств как ненужную для молодых математиков, и подготовленный перевод трудов Кантора не вышел в свет. Мы впервые расскажем о трагической судьбе этого перевода.

За два тысячелетия произошло три важных расширения числовой области. Во-первых, около 450 г. до н.э. учёные школы Пифагора доказали существование иррациональных чисел. Их начальной целью было числовое выражение диагонали единичного квадрата. Во-вторых, в XIII-XV веках европейские учёные, решая системы линейных уравнений, допустили возможность одного отрицательного решения. И, в-третьих, в 1572 г. итальянский алгебраист Рафаэль Бомбелли использовал комплексные числа для получения действительного решения некоего кубического уравнения.