Если МЫ докажем, что нет алгоритма, пригодного для решения любой задачи, то я думаю, ответим на вопрос статьи.

  1. Докажем, что для любого исполнителя существует задача, которую ОН не сможет решить. Докажем от противного, т.е. предположим, что такой исполнитель может решить любую задачу. Поставим перед ним задачу создать камень, который он не может поднять. Пусть задача выполнена, ведь исполнитель всемогущий. Теперь поставим ему следующую задачу – поднять этот камень. Он поднимет и тогда налицо противоречие, ведь камень то неподнимаемый! Таким образом доказано, что есть задачи, которые всемогущий исполнитель не может решить.
  2. Предположим, что существует универсальный алгоритм, пригодный для решения любой задачи. Тогда исполнитель, вооруженный таким алгоритмом, сможет решить любую задачу, что невозможно по пункту 1.

Итак, МЫ доказали, что у любого исполнителя есть неразрешимые задачи. Вот и весь ответ на вопрос статьи.

    Источник - учебник информатики

    Статья понравилась? Расскажите друзьям:
    Общайтесь со мной:

    Метки: