Каталог книг:


Проблемы Гильберта (100 лет спустя) - Содержание - Решение проблемы

Решение проблемы

- Г-голубчики, - сказал Федор Симеонович озадаченно... - Это же проблема Бен Б-бецалеля. К-калиостро же доказал, что она н-не имеет р-решения.
- Мы сами знаем, что она не имеет решения, - сказал Хунта, немедленно ощетиниваясь. - Мы хотим знать, как ее решать.
- К-как-то ты странно рассуждаешь, К-кристо... К-как же искать решение, к-когда его нет? Б-бессмыслица какая-то...
- Извини, Теодор, но это ты очень странно рассуждаешь. Бессмыслица - искать решение, если оно и так есть.
Речь идет о том, как поступать с задачей, которая решения не имеет. Это глубоко принципиальный вопрос...
А. Стругацкий, Б. Стругацкий.

Понедельник начинается в субботу

Оказалось, что первая проблема Гильберта имеет совершенно неожиданное решение.

В 1963 году американский математик Паул Коэн доказал, что континуум-гипотезу нельзя ни доказать, ни опровергнуть.

Это означает, что если взять стандартную систему аксиом Цермело-Френкеля (ZF) и добавить к ней континуум-гипотезу в качестве еще одной аксиомы, то получится непротиворечивая система утверждений. Но если к ZF добавить отрицание континуум-гипотезы (т. е. противоположное утверждение), то вновь получится непротиворечивая система утверждений.

Таким образом, ни континуум-гипотезу, ни ее отрицание нельзя вывести из стандартной системы аксиом.

Этот вывод произвел очень сильный эффект и даже отразился в литературе (см. эпиграф).

Как же поступать с этой гипотезой? Обычно ее просто присоединяют к системе аксиом Цермело-Френкеля. Но каждый раз, когда что-либо доказывают, опираясь на континуум-гипотезу, обязательно указывают, что она была использована при доказательстве.





Это интересно!

Полезные ссылки