§ | библиотека – мастерская – | Помощь Контакты | Вход — |
Поддьяков А.Н. Исследовательское поведение: стратегии, познания, помощь, противодействие, конфликт. М.: Эребус, 2006.
Стр. 25 Невозможен также универсальный инвариантный метод сравнения различных планов, направленных на достижение одной цели. Это следует из доказанной алгоритмической неразрешимости проблемы эквивалентности двух программ. Эта неразрешимость означает, что не существует общего, универсального метода определения того, всегда ли сравниваемые программы действий будут приводить к одинаковым результатам при одинаковых исходных данных (начальных условиях). Иначе говоря, если мы имеем две или более различных системы точных общепонятных предписаний по достижению одной и той же цели (например, представленные на конкурс), мы не имеем возможности сравнить их на основе какого-либо общего универсального метода. Если мы хотим их сравнить, то должны для этого искать, разрабатывать, изобретать те или иные конкретные методы, пригодные для данной области, подобласти или даже только для данной конкретной уникальной задачи. Установление эквивалентности является основой измерения. Если нельзя установить эквивалентность выбранному стандарту (единице измерения), то измерение невозможно. Соответственно, не существует общего метода измерения того, насколько та или иная программа, план, схема действий "справляется" со своими функциями. Для такого измерения не может существовать стандарта, инварианта; здесь также необходимы конкретные методы. Рассмотрим следующий за планированием этап – выполнение деятельности. На этом этапе нередко обнаруживаются какие-либо ошибки и сбои (например, вышеупомянутое сверхдлительное выполнение без признаков завершения). Различные ошибки всегда возможны, что объясняется, в том числе невозможностью предварительного эффективного универсального планирования. Здесь возникают следующие вопросы. Возможен ли универсальный, инвариантный метод обнаружения ошибок и метод их исправления? Если речь идет об орудийной деятельности, возможен ли универсальный, инвариантный метод проверки орудий, технических устройств на предмет установления неисправностей и инвариантный метод их устранения? |
Реклама
|
||