Cтраница 3
В то же время в предисловии им было сказано, что задача экономии памяти будет рассматриваться как пример прикладного исследования. Конечно, в такой буквальной постановке вопрос звучит несколько наивно. Изучение связи и различия между теоретическим и прикладным исследованием является одной из наиболее глубоких методологических проблем современной науки вообще, а не только математики. Мало того, один и тот же компонент исследования в зависимости от рассматриваемого контекста будет, с одной стороны, казаться созданным по ходу дела как подспорье для достижения конкретной цели, а с другой - может получить постоянную прописку в теоретическом фундаменте целого раздела науки. В то же время в теоретическом программировании - это одно из основных понятий, являющееся инвариантом многих полезных манипуляций с программами, а также самостоятельной, явной конструкцией, используемой в важном классе схем программ. [31]