Континуума проблема

КОНТИНУУМА ПРОБЛЕМА, задача, состоящая в том, чтобы доказать или опровергнуть средствами теории множеств следующее утверждение, называемое континуум-гипотезой, которое можно сформулировать следующим образом: мощность континуума есть первая мощность, превосходящая мощность множества всех натуральных чисел. Обобщённая континуум-гипотеза утверждает, что для любого множества Р первая мощность, превосходящая мощность этого множества, есть мощность множества всех подмножеств множества Р.

Континуум-гипотеза была высказана Г. Кантором в конце 1870-х годов. Многочисленные попытки её доказательства, предпринятые самим Кантором и другими математиками в конце 19 - начале 20 века, оказались безуспешными, что привело ряд учёных (французский математик Р. Бэр, А. Лебег, Н. Н. Лузин и др.) к убеждению, что континуума проблема не может быть решена традиционными средствами теории множеств. Это убеждение было подтверждено методами математической логики и аксиоматической теории множеств. В 1936 К. Гёдель доказал, что обобщённая континуум-гипотеза совместна с одной естественной системой аксиоматической теории множеств и, следовательно, не может быть опровергнута традиционными средствами. В 1963 П. Коэн доказал, что отрицание континуум-гипотезы совместно с этой системой, так что континуум-гипотезу невозможно ни доказать, ни опровергнуть с помощью обычных методов теории множеств. Последователи Коэна затем получили ряд результатов о роли континуум-гипотезы и обобщённой континуум-гипотезы и их связи с другими теоретико-множественными принципами.

Лит.: Коэн П. Дж. Теория множеств и континуум-гипотеза. М., 1969; Манин Ю. И. Доказуемое и недоказуемое. М., 1979.