Вначале была аксиома. Гильберт. Основания математики - [12]

Шрифт
Интервал

В первом письме, отправленном в конце 1899 года, Фреге обрушился на «Основания геометрии» с суровой и педантичной критикой. Раздраженный, но взявший себя в руки Гильберт ответил другим развернутым посланием. В дальнейшем он был более лаконичным, и когда Фреге предложил ему опубликовать переписку, Гильберт категорически отказался. И все же эта полемика представляет собой большой интерес, поскольку демонстрирует открытое столкновение двух концепций аксиоматического метода — старой и традиционной, представляемой Фреге, и новой, начатой Гильбертом.

Фреге никогда не оспаривал кантианский анализ геометрии и не допускал никаких других методов, кроме аксиоматического, описанного Аристотелем во «Второй аналитике» и задействованного Евклидом в «Началах». Аксиомы были очевидными истинами, связанными с реальностью. Следовательно, аксиома параллельных прямых была либо истинной, либо нет. Но и того и другого одновременно быть не могло. В одном из писем немецкий философ возмущался:

«Никто не может служить двум хозяевам разом: если евклидова геометрия истинна, нужно вычеркнуть неевклидову геометрию из списка наук и поставить ее в ряд с алхимией и астрологией».

Позиция ретрограда помешала ему понять, что для Гильберта аксиомы — всего лишь абстрактные схемы, сформулированные с практической целью как начала математической теории.

Недовольство Фреге возросло, когда тот прочитал, что Гильберт готов называть «точками», «прямыми» и «плоскостями» любые три произвольных множества, которые удовлетворяли его аксиомам, пусть даже это будут столы, стулья и пивные кружки. Фреге считал, что аксиомы касаются реальных вещей и, следовательно, едва ли у них может быть более одной интерпретации. Гильберт парировал в ответном письме:

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

Когда Фреге опубликовал пару крупных статей, в которых назвал его шарлатаном, через Алвина Корсельта (1864-1947), Гильберт ответил: «Мы можем озаглавить ее как «пустая и бессмысленная игра знаков» или как-то в этом духе; но как законной связи между пропозициями ей не нужно никакое другое специальное название».

Любопытно, что употребление терминов в аксиомах смутило и Анри Пуанкаре. Французский математик подключился к критике Гильберта, поскольку ему были неприятны те, кто стремился свести математику к чистым формальным отношениям символов. Он написал подробную рецензию, обвинив немца в мошенничестве, поскольку аксиоматический метод не является созидательным. Этот неоригинальный концептуализирующий инструмент маскирует или прячет то, что должен аксиоматизировать. По мнению Пуанкаре, в «Основаниях геометрии» всегда подразумевается евклидова геометрия, хотя Гильберт это и отрицал. Пусть его аксиоматика и претендует на то, чтобы представлять собой ряд скрытых определений, она происходит из уже существующей теории и ограничивается лишь ее реорганизацией. Французский титан вновь потеснил немецкого титана.

Фреге не понял интереса Гильберта к аксиоме полноты линии, или непрерывности прямой, в которой постулируется, что не существует другой большей системы объектов, которая также выполняла бы аксиомы. Философ заявил математику, что это похоже на теологическое заключение на основе аксиомы, которая гласила бы: «Аксиома 3. Существует по крайней мере один Бог». По иронии судьбы Гильберта уже во второй раз обвинили в тяготении к теологии. Однако он был не теологом, а скорее мистиком, поскольку предугадывал будущее математики.

Противостояние Фреге и Гильберта, как и в случае с Горданом, — ключ для понимания отличия математики XIX века от математики XX столетия. Для Фреге математическое существование было связано с тем, какие материальные или идеальные объекты существуют в мире. Раз есть только один мир, должна быть только одна геометрия. Аксиоматические системы изначально были пустыми. Гильберт же, наоборот, считал, что аксиомы не просто кодируют поведение математических объектов, но также могут создавать новые математические объекты, если не вступают в противоречие. Следовательно, в математике есть больше одной геометрии, при этом каждая из них непротиворечива (относительно арифметики).

«Основания» оказались своего рода знаком ферматы над геометрией, открыв путь другим возможным геометриям (неевклидовым, неархимедовым и так далее). Кроме того, они стали первым столпом современной аксиоматики. С 1900 года, взяв на вооружение новый метод, Гильберт начал внедрять аксиоматизацию в другие научные дисциплины. Раз аксиоматика так хорошо себя показала в геометрии, почему бы ее не задействовать в арифметике, анализе или физике?


ГЛАВА 2

Вызов Гильберта


Рекомендуем почитать
Русская книга о Марке Шагале. Том 2

Это издание подводит итог многолетних разысканий о Марке Шагале с целью собрать весь известный материал (печатный, архивный, иллюстративный), относящийся к российским годам жизни художника и его связям с Россией. Книга не только обобщает большой объем предшествующих исследований и публикаций, но и вводит в научный оборот значительный корпус новых документов, позволяющих прояснить важные факты и обстоятельства шагаловской биографии. Таковы, к примеру, сведения о родословии и семье художника, свод документов о его деятельности на посту комиссара по делам искусств в революционном Витебске, дипломатическая переписка по поводу его визита в Москву и Ленинград в 1973 году, и в особой мере его обширная переписка с русскоязычными корреспондентами.


Дуэли Лермонтова. Дуэльный кодекс де Шатовильяра

Настоящие материалы подготовлены в связи с 200-летней годовщиной рождения великого русского поэта М. Ю. Лермонтова, которая празднуется в 2014 году. Условно книгу можно разделить на две части: первая часть содержит описание дуэлей Лермонтова, а вторая – краткие пояснения к впервые издаваемому на русском языке Дуэльному кодексу де Шатовильяра.


Скворцов-Степанов

Книга рассказывает о жизненном пути И. И. Скворцова-Степанова — одного из видных деятелей партии, друга и соратника В. И. Ленина, члена ЦК партии, ответственного редактора газеты «Известия». И. И. Скворцов-Степанов был блестящим публицистом и видным ученым-марксистом, автором известных исторических, экономических и философских исследований, переводчиком многих произведений К. Маркса и Ф. Энгельса на русский язык (в том числе «Капитала»).


Страсть к успеху. Японское чудо

Один из самых преуспевающих предпринимателей Японии — Казуо Инамори делится в книге своими философскими воззрениями, следуя которым он живет и работает уже более трех десятилетий. Эта замечательная книга вселяет веру в бесконечные возможности человека. Она наполнена мудростью, помогающей преодолевать невзгоды и превращать мечты в реальность. Книга рассчитана на широкий круг читателей.


Джоан Роулинг. Неофициальная биография создательницы вселенной «Гарри Поттера»

Биография Джоан Роулинг, написанная итальянской исследовательницей ее жизни и творчества Мариной Ленти. Роулинг никогда не соглашалась на выпуск официальной биографии, поэтому и на родине писательницы их опубликовано немного. Вся информация почерпнута автором из заявлений, которые делала в средствах массовой информации в течение последних двадцати трех лет сама Роулинг либо те, кто с ней связан, а также из новостных публикаций про писательницу с тех пор, как она стала мировой знаменитостью. В книге есть одна выразительная особенность.


Ротшильды. История семьи

Имя банкирского дома Ротшильдов сегодня известно каждому. О Ротшильдах слагались легенды и ходили самые невероятные слухи, их изображали на карикатурах в виде пауков, опутавших земной шар. Люди, объединенные этой фамилией, до сих пор олицетворяют жизненный успех. В чем же секрет этого успеха? О становлении банкирского дома Ротшильдов и их продвижении к власти и могуществу рассказывает израильский историк, журналист Атекс Фрид, автор многочисленных научно-популярных статей.