Закопать на бесконечности

[vak]

Представьте, что где-то на луне есть отель с бесконечным количеством номеров. Космос ведь такое таинственное место. Но популярное: все номера заняты. Прилетает очередной посетитель, и возникает вопрос: можно ли как-то впихнуть и его тоже? Оказывается, есть решение.

Надо постучаться в первый номер и попросить постояльца переселиться во второй. И чтобы он попросил тамошнего переселиться в третий. И так дальше по цепочке. Первый номер свободен: можно заселяться.

У математиков, я слышал, такой финт называется "закопать на бесконечности". Масса вещей доказывается этим способом.

Есть у меня предчувствие, что не всякое закапывание на бесконечности алгоритмически вычислимо. Особенно если скрестить с Гёделевской нумерацией. Покажу в отдельном посте.

Comments

[juan_gandhi]

Звучит логично, в принципе. Интересно было бы выслушать детали.

[prool]

Я ничего не понял :)

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

[spamsink]

- А если прилетает очередное бесконечное количество посетителей?
- То каждого постояльца просят переселиться в номер с удвоенным номером, и новых селят в нечётные номера.
- А если вдвое больше прилетит?
- То каждого постояльца попросят переселиться в номер с утроенным номером, очевидно.

[http://poxod.com/lev/]

А то ж!

0 = 0
0 = 0 + 0 + 0 + ....
0 = (1 - 1) + (1 - 1) + (1 - 1) + ....
0 = 1 + (-1 + 1) + (-1 + 1) + ....
0 = 1 + 0 + 0 + 0 ....
0 = 1

[vak]

Именно так. Бесконечность стрёмная штука.

[archaicos]

Искра божья! В смысле, космическое излучение!

[volynsky]

это китайский отель

[vak]

Почему китайский? Вроде Гильберт придумал.

[ivanrubilo]

В Китае очень крутые отели.
Даже с роботами-доставщиками кое где.

[tobotras]

Когда-то в 90х мы с коллегами придумали, как хранить данные в проводах, без стораджа. Двадцать лет спустя кто-то не поленился :-) См. https://github.com/yarrick/pingfs

[volynsky]

неважно, кто придумал, важно, кто сделает