Проблема алгоритмической разрешимости в математике Ø Проблема