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