Это будут четыре коротеньких рассказика. Начнем мы с чисел, потом поговорим о движении, об изменении, затем мы обсудим формы и размеры, а затем — начало и конец. В таком несколько зашифрованном стиле мы и попробуем посмотреть на математику изнутри и снаружи, причем именно как на предмет. То, о чем математики мыслят и чем живут, — об этом мы с вами сможем поговорить потом. Мы увидим, что некоторые вещи, которые нам кажутся очевидными, таковыми совсем не являются. Простые вещи могут оказаться сложными, а сложные — простыми.

На протяжении большей части XX столетия в «чистой» математике царило замечательное единодушие относительно того, как нужно представлять результаты. Весь предмет сводился к комплексу теорем, каждая из которых, в конечном счете, выводилась из фиксированного набора аксиом путем так называемого строгого логического доказательства. В отдельных разделах математики, таких, например, как арифметика Пеано, справедливость аксиоматики выглядела самоочевидной, однако во многих случаях аксиомы попросту очерчивали рассматриваемую область вопросов. Для математиков, если только они не выходили за рамки математики, выступая в роли философов-любителей, принципиального различия между изобретением и открытием новых концепций не было.

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

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

Корректно ответить на этот вопрос нельзя, поскольку числовой ряд не имеет верхнего предела. Так, к любому числу достаточно всего лишь прибавить единицу, чтобы получить число ещё большее. Хотя сами числа бесконечны, собственных названий у них не так уж и много, так как большинство из них довольствуются именами, составленными из чисел меньших. Понятно, что в конечном наборе чисел, которых человечество наградило собственным именем, должно быть какое-то наибольшее число. Но как оно называется и чему оно равно? Давайте же, попробуем в этом разобраться и заодно узнать, насколько большие числа придумали математики.

К третьему году жизни большинство из нас уже умеют считать. С тех пор, как мы постигаем магию чисел, нас ничто не может остановить. Хотя концепция бесконечности и выглядит довольно безобидно, просто продолжайте считать, и мир представится в совсем ином свете! Математикам удалось выявить огромное количество бесконечностей, причем каждая последующая оказывается больше предыдущей. Если Вселенная действительно бесконечна, последствия могут быть еще более непредсказуемы и удивтельными. В бесконечной Вселенной может существовать бесконечное количество копий Земли и... Ваших копий! Возможно, что есть бесконечные мульти-вселенные, которые содержат нашу Вселенную и которые старше нашего времени. Этот фильм, основанный на математических теориях, — попытка построения представления о бесконечности всего сущего.

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

Если в качестве значений переменных разрешается брать только элементы носителя, язык называют элементарным языком, или языком первого порядка. Если же в качестве значений переменных разрешается брать также функции и отношения, язык называют языком второго порядка. Выразительные возможности языков первого порядка довольно ограничены. Например, на языке первого порядка можно сообщить, что носитель содержит ровно 17 элементов, но невозможно выразить его конечность. На языке второго порядка выразить конечность носителя возможно. Возникает совершенно естественное недоумение: а зачем тогда пользоваться языками первого порядка с их бедными выразительными средствами, не лучше ли пользоваться языками второго порядка?

Современная математика в качестве своего основания использует теорию множеств. Традиционно при анализе теоретико-множественных тонкостей используется аксиоматика Цермело-Френкеля с аксиомой выбора, обозначаемая ZFC. На аксиому выбора опираются доказательства наличия базиса в любом векторном пространстве и существования неизмеримого множества в математическом анализе. К сожалению, теория множеств обязана работать и со множествами, которые не описываются достаточно подробно и конкретно, чтобы мы могли себе их представить. В курсе будет рассмотрен один пример, к чему это приводит. Оказывается, ценой ослабления аксиомы выбора можно получить теорию множеств, в которой любая ограниченная функция на отрезке интегрируема по Лебегу. То, что используется аксиома выбора, в каком-то смысле, произошло исторически. Курс основан на статье Р.М. Соловэя о построении теории множеств, в которой все множества вещественных чисел измеримы.

В стандартной интерпретации гёделева неразрешимая формула A означает «не существует вывода формулы A», то есть утверждает свою собственную невыводимость в системе S. Таким образом, A является аналогом парадокса лжеца. Рассуждения Гёделя в целом очень похожи на парадокс Ришара. Более того, для доказательства существования невыводимых утверждений может быть использован любой семантический парадокс.