пятница. ночь.

[avva]

Я бы и спать пошёл, да поработать надо ещё немного.

Is there anybody out there?

Давайте чего-нибудь интересное друг другу рассказывать. Или загадку какую. Или задачку. Если я что придумаю, в комментах напишу.

Comments

[oblomov-jerusal.livejournal.com]

Купил сегодня (т.е. вчера) сборник сатир Свифта. \omega_1 и \epsilon_1 это одно и то же (первый неконструктивный (в известном смысле) ординал)?

[avva.livejournal.com]

\epsilon_1 это всего лишь предел последовательности \epsilon_0 + 1, w^(\epsilon_0+1), w^w^(\epsilon_0+1),...

где \epsilon_0 - предел последовательности w, w^w, w^w^w,...

\omega_1, если речь идёт о пределе рекурсивных ординалов, должен быть намного, намного больше.