Фелино-логический парадокс

В людях найдена критическая уязвимость, позволяющая котам получать доступ к бесплатному питанию.

Из новостей лаборатории Касперского.

Парадокс Ба́наха—Та́рского (также называется парадоксом удвоения шара) — теорема в теории множеств, утверждающая, что трёхмерный шар равносоставлен двум своим копиям.

Иначе говоря, доказано, что шар можно «разбить» на куски и собрать из них два точно таких же шара. (См. иллюстрацию под катом). При этом доказано также (Рафаэлем Робинсоном), что четырёх кусков точно не хватит, а пяти может хватить. Правда, при разбиении обязательно должны получаться в том числе и такие части, для которых понятие «объёма» не определено, без таких частей собрать два шара из одного не получится.

Эмпирическое доказательство этой теоремы знает каждый, кто пытался вычёсывать кота.

( Иллюстрации )