алгоритмический разрешимость на китайском