Да, парадокс Берри в нете встречается как минимум в трёх формулировках: с подсчётом слов, слогов и букв.

О, кстати, о словарях. С ними связана ещё одна задача в стиле Кристобаля Хозевича Хунты (ну, т.е. для которых доказано, что решения не существует, но от этого только интереснее его искать).

Рассмотрим алфавит из пяти букв {a,b,c,d,e}. Слова в нём считаются одинаковыми, если из одного к другому можно придти, применяя следующие правила преобразования: ac=ca; ad=da; bc=cb; bd=db; abac=abace; eca=ae; adb=be.
К примеру, считаются одинаковыми слова:
abac
abace
abcae
abceca
acbeca
acadbca

Так вот, оказывается, невозможно составить алгоритм, который по двум входным словам выдавал, равны они или нет!