| Re: Интегралы Мак-Шейна |
Feb. 11th, 2008|05:04 pm |
>И маленькие технические замечания про Ваши пункты, раз уж они составляют для Вас такой пунктик (хотя на самом деле к вопросу и не относящийся). Где гарантия, что метагалактика не связана с другими (неизвестными сегодня) частями материального мира, и лет эдак через тысячу окажется вполне возможным тягать доп.частицы оттуда? А может, эти электроны миры, где пять материков тоже можно дробить на октиллионы частей (посредством столь вожделенного Вами ЦЕРНовского коллайдера, например), из которых затем составлять внутри этого самого отдельно взятого электрона по суперкомпьютеру? А?
Вы правильно указали, что такой гарантии нет.
Но и обратного утверждать мы тоже не можем.
Мы должны исходить из того, что не знаем этого.
Следовательно, допустимы любые варианты, в том
числе тот, который я указал.
>Вопрос первый и основной: а почему именно ZFC (языка, модели не имеющего,
![[info]](http://lj.rossia.org/img/userinfo-lj.gif) bbixob@lj говорит, что у ZF есть модель (в том
же смысле, что и у арифметики).
>и у которого даже просто с формальной непротиворечивостью ничего не ясно)?
Непротиворечивость следует из существования модели.
>Почему не средствами языка формальной арифметики (у которого модель есть), например?
Ответ дан выше.
|
|