Тему topic110006.html поправил, как просили (в техе пока новичок)
Разбирайтесь в техе. Все формулы (например, обозначения множеств типа
) должны быть оформлены в ТеХ. Формулы должны быть оформлены целиком, а не только отдельные знаки, например,
, а не y
Y.
\mathbb пишется маленькими буквами.
Поправил
topic110006.htmlНе вижу в теме описания существа работы. Например, вот этот абзац не содержит конкретики по поводу того, как именно определяется дискретность и как именно доказывается счетность дискретного множества, далее в сообщении это тоже никак не раскрывается:
Цитата:
Краткое доказательство. Дается определение дискретности. Доказывается, что если множество по мощности строго меньше континуума и строго больше счетного существует, то оно дискретно. Множество натуральных чисел и рациональных – дискретны, и вообще любое счетное множество – дискретно. Далее самое трудное, это доказать, что любое дискретное множество счетно. Этому посвящены четыре доказательства. Доказывая, что любое дискретное множество счетно, мы тем самым доказываем, что промежуточное множество с необходимостью счетно. Таким образом никаких промежуточных множеств между счетными и континуальными не существует на
. Ну а коль и на
не существует, то и в природе, ибо
представляет наше реальное пространство.
Утверждения о неверности теоремы Геделя тоже необоснованы (в чем именно ошибка?).
Предлагаемое доказательство счетности континуума написано нормально, его можно обсуждать. Хотя оно, естественно, неверно: предлагаемая процедура не нумерует, например, множество четных чисел (последовательность
). Если хотите, можете оставить только это доказательство и соответствующим образом изменить название темы.