Обсуждение:Континуум-гипотеза
Материал из Википедии — свободной энциклопедии
было конти́нуум-гипо́тезу я исправил континуум-гипотезу DIG снова вернул конти́нуум-гипо́тезу wtf?
для тех кто не видит - там есть два некорректных символа, которые я убрал. IE показывает эти символы как квадратики.
- У вас не хватает шрифтов, неправильно настроен IE или очень древняя система. Это символы ударения Maxim Razin 23:13, 2 Апр 2005 (UTC)
[править] Непротиворечивость ZF доказана?
Где?! Когда?! Кем?! Был бы очень признателен за приведение соответствующих ссылок :)
Теоремы Гёделя и Коэна утверждают условный факт: непротиворечивость чего-то там в случае непротиворечивости ZF, а не безусловный, как в изначальном варианте текста (непротиворечиво, и всё тут!).
[править] Неверное утверждение!
"Доказательство этого утверждения означало бы, что с точностью до эквивалентности, существуют только два типа бесконечных числовых множеств: счётное множество и континуум." Это неверно: независимо от истинности континуум-гипотезы существуют множества неэквивалентные ни континууму, ни счетному, например "2 в степени континуум" и т.д. Ytse 10:22, 2 марта 2006 (UTC)
- По замыслу автора, наверное, ключевое слово здесь "числовое". Но поскольку неясно, какие множества называть числовыми, вычёркиваю. Maxim Razin 11:33, 2 марта 2006 (UTC)
