Вначале была аксиома. Гильберт. Основания математики - [10]
Без аксиомы непрерывности нельзя утверждать, что две окружности пересекутся в точке С и,следовательно, что можно построить равносторонний треугольник со стороной АВ (как это заявлено в Пропозиции I Книги I «Начал» Евклида).
Последней аксиомы в «Началах» не было, хотя необходимость в ней возникает даже при доказательстве Пропозиции I Книги I. То, что Гильберт извлек ее на свет, составляет один из важнейших его вкладов. Без нее Q>2 (то есть плоскость, в которой у точек есть только рациональные координаты) было бы моделью евклидовой геометрии, поскольку она бы удовлетворяла всем предыдущим аксиомам. Однако, как подчеркнул Рихард Дедекинд (1831-1916), в этой дырявой плоскости две окружности, каждая из которых проходит через центр другой, необязательно должны пересекаться (что предполагалось в Пропозиции I), потому что это возможно в точке с иррациональными координатами (в дырке). Аксиома полноты линии, или непрерывности прямой, позволяет определить любую прямую с действительными числами R и, следовательно, плоскость R>2 (то есть полную плоскость со всеми точками с рациональными и иррациональными координатами), где две окружности гарантированно пересекутся (см. рисунок). Это мост между синтетической геометрией, основанной на диаграммах и чертежах, и аналитической, выстраиваемой на вычислениях.
С аксиоматической точки зрения аксиома — это высказывание, по той или иной причине (обычно из-за ее плодотворности) помещенное в основание математической теории, чтобы из него в дальнейшем можно было вывести теоремы. Но чтобы вывести теоремы, необходим свод правил выведения. Математики обычно оперируют двумя классическими правилами. Первое, modus ponens, заключается в том, чтобы из импликации «Если Р, то Q» и из истинности Р вывести, что истинно также Q. Второе, modus tollens, состоит в том, чтобы из импликации «Если Р, то Q» и из того, что Q ложно, вывести, что Ртакже ложно. Таким образом, формально доказательство — это цепочка рассуждений, которая позволяет получить новые результаты с применением аксиом и правил выведения. Конечным результатом доказательства называется теорема. Если на основе множества аксиом S мы смогли вывести теорему T, обычно это записывается как S ├ T («T доказуемо на основе S»), где знак ├ обозначает синтаксическое отношение выведения или доказательства. Теорией называют множество всех теорем, которые могут быть доказаны. Модель теории — математическая структура, в которой аксиомы истинны, они выполняются. Если М — это модель множества аксиом S, это записывается как М ╞ S («М выполняет S», то есть «аксиомы S истинны в М»). Знак ╞ обозначает семантическое отношение истинности или выполнения. Один из главных вопросов, которые поставил Гильберт, состоит в том, какое математическое отношение существует между отношением доказательства и отношением истинности (между ├ и ╞): истинно ли все доказуемое? Доказуемо ли все истинное?
Помимо формулировки аксиом, Гильберт стал первым, кто с чисто математического уровня в основе геометрии поднялся на метаматематический, или метагеометрический, уровень, где рассматриваются свойства любой аксиоматической системы, в частности той, которую он определил для геометрии. Какими свойствами должна обладать аксиома? Гильберт выделил три характеристики: независимость, непротиворечивость и полнота.
Аксиоматическая система является независимой, если ни одна аксиома не может быть выведена из другой, то есть если система максимально экономична, не избыточна. И пусть не все сформулированные им аксиомы оказались независимыми (как выяснилось позже), Гильберт доказал независимость между различными группами аксиом. Он утверждал, что аксиома параллельных прямых независима от прочих аксиом, то есть она не может быть выведена на их основе, чем закрыл вопрос, остававшийся открытым несколько столетий. Это стало возможным с применением метода, ставшего вскоре классическим: построить модели геометрий, которые выполняют все желаемые аксиомы, кроме той, независимость которой проверяется, и тогда последняя не может быть следствием из других (поскольку если бы это было так, мы получили бы противоречие — аксиому и ее отрицание). Для доказательства независимости аксиомы параллельных прямых Гильберт создал модель неевклидовой геометрии. А для доказательства независимости аксиомы Архимеда он построил модель неархимедовой геометрии, в которой существуют бесконечно малые величины. Так Гильберт, по примеру Джузеппе Веронезе (1845-1917), распахнул двери для исследования геометрии нового типа.
Давид Гильберт, 1886 год.
Скульптурная группа, воздвигнутая в память о Гауссе и Вебере в Гёттингене. Гильберт опубликовал свои«Основания геометрии» (1899) по случаю ее торжественного открытия.
Кёнигсбергский университет, около 1890 года. Гильберт поступил сюда десятью годами ранее.
Вторым требованием, которое Гильберт предъявлял к своей аксиоматической системе, была непротиворечивость. Система аксиом является непротиворечивой, если не порождает разногласий, если нельзя вывести никакого противоречия на ее основе. Такую систему аксиом называют когерентной, или совместимой. Модели Бельтрами, Клейна, Пуанкаре и Римана доказали относительную непротиворечивость неевклидовых геометрий в отношении к евклидовой, поскольку эти неевклидовы модели содержались внутри собственно евклидова пространства. Но была ли непротиворечивой евклидова геометрия? Гильберт доказал непротиворечивость евклидовой геометрии относительно арифметики, впервые предложив чисто числовую модель. Он вывел числовое множество, в котором выполняются все геометрические аксиомы, в котором точки — это некоторые пары алгебраических чисел, а прямые — некоторые тройки этих чисел, в котором принадлежность какой-то точки прямой означает, что соблюдается некое числовое уравнение, и так далее. Таким образом, любая противоречивость его аксиоматической системы геометрии привела бы к противоречивости арифметики. Любое противоречие в выводах, cделанных на основе геометрических аксиом, было бы признано арифметическим (например, 0=1).
Это издание подводит итог многолетних разысканий о Марке Шагале с целью собрать весь известный материал (печатный, архивный, иллюстративный), относящийся к российским годам жизни художника и его связям с Россией. Книга не только обобщает большой объем предшествующих исследований и публикаций, но и вводит в научный оборот значительный корпус новых документов, позволяющих прояснить важные факты и обстоятельства шагаловской биографии. Таковы, к примеру, сведения о родословии и семье художника, свод документов о его деятельности на посту комиссара по делам искусств в революционном Витебске, дипломатическая переписка по поводу его визита в Москву и Ленинград в 1973 году, и в особой мере его обширная переписка с русскоязычными корреспондентами.
Настоящие материалы подготовлены в связи с 200-летней годовщиной рождения великого русского поэта М. Ю. Лермонтова, которая празднуется в 2014 году. Условно книгу можно разделить на две части: первая часть содержит описание дуэлей Лермонтова, а вторая – краткие пояснения к впервые издаваемому на русском языке Дуэльному кодексу де Шатовильяра.
Книга рассказывает о жизненном пути И. И. Скворцова-Степанова — одного из видных деятелей партии, друга и соратника В. И. Ленина, члена ЦК партии, ответственного редактора газеты «Известия». И. И. Скворцов-Степанов был блестящим публицистом и видным ученым-марксистом, автором известных исторических, экономических и философских исследований, переводчиком многих произведений К. Маркса и Ф. Энгельса на русский язык (в том числе «Капитала»).
Один из самых преуспевающих предпринимателей Японии — Казуо Инамори делится в книге своими философскими воззрениями, следуя которым он живет и работает уже более трех десятилетий. Эта замечательная книга вселяет веру в бесконечные возможности человека. Она наполнена мудростью, помогающей преодолевать невзгоды и превращать мечты в реальность. Книга рассчитана на широкий круг читателей.
Биография Джоан Роулинг, написанная итальянской исследовательницей ее жизни и творчества Мариной Ленти. Роулинг никогда не соглашалась на выпуск официальной биографии, поэтому и на родине писательницы их опубликовано немного. Вся информация почерпнута автором из заявлений, которые делала в средствах массовой информации в течение последних двадцати трех лет сама Роулинг либо те, кто с ней связан, а также из новостных публикаций про писательницу с тех пор, как она стала мировой знаменитостью. В книге есть одна выразительная особенность.
Имя банкирского дома Ротшильдов сегодня известно каждому. О Ротшильдах слагались легенды и ходили самые невероятные слухи, их изображали на карикатурах в виде пауков, опутавших земной шар. Люди, объединенные этой фамилией, до сих пор олицетворяют жизненный успех. В чем же секрет этого успеха? О становлении банкирского дома Ротшильдов и их продвижении к власти и могуществу рассказывает израильский историк, журналист Атекс Фрид, автор многочисленных научно-популярных статей.