| |||
|
|
Re: К вопросу о редкости Хм. Вообще-то гражданин sowa@lj, с которого всё началось, как раз откровенный платонист — и, как помнится с его же слов, бог ему в личной беседе поведал о верности аксиомы выбора без всяких изъятий. Другие мои наблюдения тоже как-то не свидетельствуют о противоречии аксиомы выбора платонистскому реализму. Что же реализма действительного, то понятие счётного множества "интуитивно понятно" только на первый взгляд (теорема Кантора-Бернштейна, она как?), а потому не вполне ясно, каковы же действительные основания для допущения счётного выбора при отклонении несчётного. > без счётного выбора нельзя делать массу вещей А без несчётного, как уже говорилось, посыпется вся теория банаховых алгебр. И что? Так, имхо, и до научности теологии договориться недолго (без шестоднева тоже много чего "нельзя делать"). > Поэтому со счётным или детерминистским выводом бороться никто не рвётся. "Никто" — это заведомо сильно сказано. Я, например, рвусь :-) Кстати, о детерминированности. Во втором томе «Справочной книги по матлогике» камрад Йех уверяет, что на момент начала 1980-х было неизвестно, совместима ли аксиома детерминированности с ZF-C хотя бы на том же уровне правдоподобия, на каком совместима C. С тех пор что-то поменялось? С уважением, Гастрит Добавить комментарий: |
|||