Знание.

← →
nikkie © (2004-02-25 16:36) [80]

>Но в любом случае - счетность. Если конечно речь не идет о компактных множествах.
о. а как отражается недоказуемость континум-гипотезы в реальном мире, если предположить, что вселенная более, чем счетна?

← →
Думкин © (2004-02-25 16:40) [81]

> [80] nikkie © (25.02.04 16:36)

Я тоже не выспался? %)))) Так ведь один тот - более же чем. Мне этого достаточно.

← →
Думкин © (2004-02-25 16:42) [82]

> [80] nikkie © (25.02.04 16:36)

Я же поправился в
> [78] Думкин © (25.02.04 16:31)

:)) Злой ты.

← →
nikkie © (2004-02-25 17:03) [83]

>:)) Злой ты.
да не... попробую сформулировать идею блеснувшую в моем мозгу, измученном недосыпом. :)

существование множеств промежуточной мощности зависит от аксиоматики и никак не вытекает из "интуитивных" аксиом. предполагая, что вселенная есть модель теории множеств, и вселенная более, чем счетна, то получается, что в этой модели есть ответ на континум-гипотезу, который мы либо можем узнать, либо не можем. следовательно верно одно из четырех
(какая-то из посылок не верна => 1,2)
1. вселенная противоречит теории множеств
2. вселенная не более, чем счетна
(посылки верны и мы можем проверить континуум-гипотезу в этой модели => 3)
3. вселенная обладает свойствами (т.е. добавляет некую аксиому к теории множеств), которые нам не доступны нашей математической интуиции.
(посылки верны и мы не можем проверить континуум-гипотезу в этой модели => 4)
4. вселенная обладает свойствами, которые в принципе невозможно исследовать.

все кроме пункта 2 - вариации на тему агностицизма. так что мне как-то милее именно пункт 2.

>Так ведь один тот - более же чем.
упс... это надо на свежую голову обмозговать ;p
вот в данном случае - я злой :))

2 Думкин:

> [65] Ru © (25.02.04 16:02)
> >olookin © (25.02.04 15:59) [64]
> Математика это аппарат работы с числами:

>Не совсем так, даже скорее совсем не так.

Вы абсолютно правы. Математика - это умение придираться к условиям, так как если написано 8, то автор может иметь ввиду 9. А чё решать для 8, когда может оказаться, что надо для 9. Это же помереть так можно. Вот например, было дело, в ВУЗ на математический попали математики - все олимпиадники. Ну и стали там разводить. Так всех выгнали. Я теперь боюсь. Подскажите, пожалуйста, что мне делать?

> [84] Mihey © (25.02.04 20:04)

Я не совсем понял. В каком смысле они стали разводить? И почему выгнали?
У нас выгоняли если ... ну ничего нового, как это обычно бывает.
Ошибки в условиях или их неполнота - бывает такое. Но в любом случае решать надо(если надо) - даже тем же уточнением. Например, на олимпиаде я несколько раз(2) задавал вопрос по уточнению - и чтобы именно это внесли в задачу или не внесли. И один раз я потерял баллы как раз по причине, что задавший задачу имел нечто для него очевидное, а я повернул задачу к себе и решил иначе, а убедить не мог - ибо тогда победил его ученик. Да такое есть. Ведь ровно этим мы и занимались в той, я думаю забытой, ветке.
А бояться нечего. Были преценденты когда человек на экзамене получал 2 по расхождению позиций с преподавателем, и в итоге все решалось с привлечением "более серьезных" дядей - и доказывали правоту студента. Это редкость - но это есть. А про синдром олимпиадников - я писал, не всегда, но во многих начинает жить абсолютный спорщик, зачастую крайне поверхностный. Этого надо избегать. К сожалению, очень часто наблюдается и заранее составленное предвзятое мнение к оным.

> [83] nikkie © (25.02.04 17:03)
> >:)) Злой ты.
> да не... попробую сформулировать идею блеснувшую в моем
> мозгу, измученном недосыпом. :)
>
> >Так ведь один тот - более же чем.
> упс... это надо на свежую голову обмозговать ;p
> вот в данном случае - я злой :))

Это тоже надо на весьма свежую. А про "более же чем"(тут надо еще [73]):
Ведь счетное - минимальное бесконечное. Поэтому если Вселенная бесконечна - то как минимум счетна. Но вот бесконечна ли? Например она может оказаться четырехмерной сферой.
Но ведь речь еще идет о действительно конечных степенях свободы, а вот как тут? Если степеней свободы бесконечно? Тогда уж точно мы не сможем запихать инфу обо всей Вселенной в конечный информационный пакет.

Знание. Найти похожие ветки