открытая тема

[avva]

Комменты о чем угодно.

Хотите об этом поговорить?

Comments

[(Anonymous)]

Раз пошли друг дружке задачки задавать, я тоже повыпендриваюсь.

Нужно доказать в ZF (без C), что можно делить на три. То есть, если даны произвольные множества A и B и 3×A≌3×B, то A≌B.

Это трудная задача. Если вместо 3 взять 2, получится задача гораздо полегче.

[avva.livejournal.com]

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

[(Anonymous)]

удовольствие от красивой задачи перевешивает жалость от того, что я не умею ее самрешать :)