Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет http://users.livejournal.com/__gastrit/ ([info]http://users.livejournal.com/__gastrit/)
Re: К вопросу о редкости
Хм. Вообще-то гражданин [info]sowa@lj, с которого всё началось, как раз откровенный платонист — и, как помнится с его же слов, бог ему в личной беседе поведал о верности аксиомы выбора без всяких изъятий. Другие мои наблюдения тоже как-то не свидетельствуют о противоречии аксиомы выбора платонистскому реализму. Что же реализма действительного, то понятие счётного множества "интуитивно понятно" только на первый взгляд (теорема Кантора-Бернштейна, она как?), а потому не вполне ясно, каковы же действительные основания для допущения счётного выбора при отклонении несчётного.

> без счётного выбора нельзя делать массу вещей

А без несчётного, как уже говорилось, посыпется вся теория банаховых алгебр. И что? Так, имхо, и до научности теологии договориться недолго (без шестоднева тоже много чего "нельзя делать").

> Поэтому со счётным или детерминистским выводом бороться никто не рвётся.

"Никто" — это заведомо сильно сказано. Я, например, рвусь :-) Кстати, о детерминированности. Во втором томе «Справочной книги по матлогике» камрад Йех уверяет, что на момент начала 1980-х было неизвестно, совместима ли аксиома детерминированности с ZF-C хотя бы на том же уровне правдоподобия, на каком совместима C. С тех пор что-то поменялось?

С уважением,
Гастрит


(Читать комментарии)

Добавить комментарий:

Как:
(комментарий будет скрыт)
Identity URL: 
имя пользователя:    
Вы должны предварительно войти в LiveJournal.com
 
E-mail для ответов: 
Вы сможете оставлять комментарии, даже если не введете e-mail.
Но вы не сможете получать уведомления об ответах на ваши комментарии!
Внимание: на указанный адрес будет выслано подтверждение.
Имя пользователя:
Пароль:
Тема:
HTML нельзя использовать в теме сообщения
Сообщение:



Обратите внимание! Этот пользователь включил опцию сохранения IP-адресов пишущих комментарии к его дневнику.