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

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

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

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

Сообщества

Настроить S2

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



Пишет p_govorun ([info]p_govorun)
@ 2006-01-12 14:40:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Аксиома выбора с точки зрения ребёнка
Аксиома выбора утверждает, что мы имеем право сказать "возьмём какой-нибудь элемент множества", и никто не имеет права спросить нас в ответ: "А какой именно? И как вы его выберете?". Более серьёзное объяснение -- в Википедии (англ.).

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

В переводе на "взрослый" язык: есть множество предметов белья, требуется назвать произвольный элемент этого множества. Оказывается, это вовсе не тривиальное действие.


(Читать комментарии) - (Добавить комментарий)


[info]p_govorun@lj
2007-08-19 10:06 (ссылка)
Чтобы организовать itemы, как раз и нужна аксиома выбора.

Нумерация делается так: берём произвольный элемент множества, и назначаем первым, из оставшегося берём произвольный элемент, и назначаем вторым, и так далее (возможно, трансфинитное количество раз). Аксиома выбора говорит нам, что "произвольный элемент" можно выбрать.

(Кстати, вполне можно представить себе архитектуру компьютера без аксиомы выбора. Вместо массивов там -- множества, с ними можно делать всякие операции, но вот операции "выбрать произвольный элемент" нет. Будет ли от этой архитектуры какой-нибудь толк -- не знаю :-)

(Ответить) (Уровень выше)


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