Обсуждение:Континуум-гипотеза

message: было
конти́нуум-гипо́тезу
я исправил
континуум-гипотезу
DIG снова вернул
конти́нуум-гипо́тезу
wtf?
для тех кто не видит - там есть два некорректных символа, которые я убрал. IE показывает эти символы как квадратики.
replies: text: У вас не хватает шрифтов, неправильно настроен IE или очень древняя система.  Это символы ударения Maxim Razin 23:13, 2 Апр 2005 (UTC)
thread_title: Untitled

message: Где?! Когда?! Кем?! Был бы очень признателен за приведение соответствующих ссылок :)
Теоремы Гёделя и Коэна утверждают условный факт: непротиворечивость чего-то там в случае непротиворечивости ZF, а не безусловный, как в изначальном варианте текста (непротиворечиво, и всё тут!).
thread_title:  Непротиворечивость ZF доказана? 

message: "Доказательство этого утверждения означало бы, что с точностью до эквивалентности, существуют только два типа бесконечных числовых множеств: счётное множество и континуум."
Это неверно: независимо от истинности континуум-гипотезы существуют множества неэквивалентные ни континууму, ни счетному, например "2 в степени континуум" и т.д. Ytse 10:22, 2 марта 2006 (UTC)
replies: text: По замыслу автора, наверное, ключевое слово здесь "числовое".  Но поскольку неясно, какие множества называть числовыми, вычёркиваю. Maxim Razin 11:33, 2 марта 2006 (UTC)
thread_title:  Неверное утверждение! 

message: Константин Давидюк: я не собираюсь анализировать доказательство, я уже давно растерял способности к математике.  Но до тех пор пока оно не будет признано математическим сообществом (на 100 % уверен, что этого не случится), ссылки на него, как на ВП:ОРИСС здесь не будет.  — doublep 14:21, 17 декабря 2007 (UTC)
thread_title:  «Несуществование континуума» 

message: Буква С в ZFC означает аксиому выбора, а не континуум-гипотезу. — VladimirReshetnikov 21:19, 31 января 2010 (UTC)
thread_title:  С в ZFC 

message: "В последнем случае можно доказать, что между c и \aleph_1 заключено бесконечно много кардинальных чисел." Это неверное утверждение, например оно противоречит Теореме Истона 93.178.243.231 16:10, 5 сентября 2010 (UTC)
thread_title:  Бесконечно много кардиналов между <math>\aleph_1</math> и '''''c''''' 

message: Простите, но что тут сложного? 
"Любое бесконечное подмножество континуума является либо счётным, либо континуальным."
По сути это утверждение, что континуальное множество определимо как не являющееся счетным (нет отображения в ряд натуральных чисел), сопоставимым (отображающимся на) числам на отрезке прямой от 0 до 1. Тогда "между" счетным и континуумом просто нет множеств.
То что континуум не самое большое по мощности множество к данному утверждению просто не имеет отношения.
(имхо)
ps. ах да, еще это означает, что счетное множество является минимальным бесконечным. Nei2ri 11:38, 16 сентября 2010 (UTC)
replies: text: множества между счетными и континуумом есть, мощностей нет. см мощность множества. Про p.s.- это вообще к К-г не относится. AlexeyT2
thread_title:  в чем смысл проблемы? 

message: У меня возникло такое соображение (я не математик, поэтому, могу говорить известные вещи). 
Возьмем бесконечно -мерное пространство (которое имеет счетное число измерений). Вдоль каждой орты этого пространства отложим отрезок [0,1] и выберем последовательность типа x=1/N, где N - натуральное число от 1, 2, 3 и т.д.. 
  Задача состоит в следующем. Если мы выберем фиксированную орту и на эту орту будем "проекцировать" все точки последовательности 
x=1/N от остальных орт так, чтоб точки не "совпадали" - удастся ли "покрыть" континуум в такой способ?
В принципе, мне просто было интересно. Ведь Бог христиан сотворил видимую вселенную 3 -мерную. Однако, это только видимая вселенная. Не исключено, что существуют и "бесконечно мерные" пространства, только с другими свойствами.
thread_title:  Задача