Cтраница 4
Этот раздел мы закончим результатом, который подводит итог следствиям теорем 5.1 и 5.2 в той их части, которая касается упрощения программы. Очевидно, что в силу 5.1 и 5.2 исключается существование любого алгоритма упрощения, по зволяющего получить каноническую форму схем при таком разумном отношении -, которое является в строгом смысле отношением эквивалентности1); та же ситуация сохранится и при не слишком строгих ограничениях на отношение -, лишь бы они позволили такому алгоритму быть включенным в процедуру частичного разрешения отношения Р - Q. С другой стороны, достаточно предположить существование некоторого алгоритма исчерпывающего упрощения, чтобы обеспечить получение такой канонической формы путем сведения схемы к наипростейшей ей эквивалентной. Ниже мы изложим те предпосылки относительно - и метода упрощения, которые позволяют применить это рассуждение. [46]