Основания геометрии - Давид Гильберт

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

Одно дело - построить геометрию на прочном основании, и совсем другое - исследовать логическую структуру построенного сооружения. Гильберт систематически изучает взаимную независимость своих аксиом и устанавливает независимость некоторых из самых фундаментальных геометрических теорем от той или иной ограниченной группы аксиом. Его метод основан на построении моделей: показывается, что модель противоречит одной из аксиом и удовлетворяет требованиям всех остальных, из чего следует, что первая не может быть следствием остальных. Вопрос о непротиворечивости тесно связан с вопросом о независимости. Относящиеся сюда общие идеи кажутся нам теперь почти банальными, настолько радикальным оказалось их влияние на наше математическое мышление. В 1899 году публикуется классическая книга Гильберта "Основания геометрии", в которой он систематически излагает все полученные им результаты.

Похожие статьи




Основания геометрии - Давид Гильберт

Предыдущая | Следующая