Скачать 150.19 Кбайт
Процессы и структуры в мышлении (Курс лекций)
Единственное, что мне удается сделать – это поставить саму проблему в некоторой системе и таким образом задать назначение, или функцию, этого движения в задачах. Когда меня спрашивают, существует ли здесь сведение, то я прежде всего хочу уточнить само понятие сведения, и только на базе этого перейти к более точной характеристике того, что здесь происходит. В частности, только таким путем я смогу развести два принципиально разных процесса: с одной стороны, переход от одних задач к другим, можно сказать, – перевод или переведение задачи 1 в задачу 2 и далее в задачу 3... и в задачу k, а с другой стороны, составление самой цепочки, или последовательности, отношений, каждое из которых является ответом на ту или иную из этой серии задач.
Двигаясь от одной задачи к другой, мы в конце концов должны перейти к разрешимой задаче. Но при этом мы очень часто переходим к задаче еще нерешенной. И поэтому мы никогда не знаем, разрешима новая задача, к которой мы переходим, или нет. Поэтому мы продолжаем свое движение и переводим ее в другую – разрешимую или уже решенную задачу. Так строятся длинные цепи задач.
В дальнейшем именно из этого возникли проблемы теории алгоритмов: нужно было ответить на вопрос, а действительно ли в том или ином случае мы можем перейти и переходим к разрешимым задачам. Но само это направление исследования очень наивно по своим эпистемологическим исходным принципам. Ведь ответ на вопрос, может ли та или иная массовая проблема быть разрешена алгоритмически или, наоборот, не может быть разрешена, дается лишь при определенном весьма ограниченном представлении самого решения. А откуда мы знаем, какие существуют способы и формы решений различных задач? Может быть, люди изощрятся и выдумают совсем новый способ решения, который мы сейчас не можем учесть в своих представлениях.
Интересно, что Ляпунов в своей работе подходит совершенно иначе, чем Марков. Он считает, что всегда может быть найдена такая задача С, которая в конечном итоге дает решение исходной задачи В. А будет ли она легче разрешимой или труднее разрешимой – это ведает один Господь Бог. Фактически мы всегда исходим из предположения, что задачи должны быть разрешимыми, что мы в конце концов сможем их решить. А если нам в силу тех или иных причин не удается этого сделать, то мы переводим практическую проблему в форму другой задачи и решаем эту последнюю. И так до тех пор, пока не получим решение.
Если рассматривать это движение с точки зрения человека, осуществляющего его, то он, переходя от одной задачи к другой, всегда рассчитывает на то, что новая задача будет разрешимой, но вместе с тем он никогда не знает этого наверняка. Поэтому, характеризуя этот процесс со сторонней точки зрения, мы говорим о необходимости перехода от одних задач к другим, разрешимым. И мы можем так утверждать, по сути дела, всегда постфактум, ретроспективно, а человек, осуществляющий сам переход, всегда только надеется на это.
Второй важнейший момент, который обнаружился в ходе нашей работы, – это различие средств и самого процесса решения. На исходных этапах, как вы помните, мы рассуждали так: есть некоторый текст, мы разбиваем его на последовательность единичек, находим структуру каждой единички, из этих структур собираем длинные цепи, и, когда мы это сделаем, то процесс рассуждения будет описан.
Но, двигаясь этим путем, мы обнаружили – и об этом я подробно рассказывал на прошлой лекции, – что рассуждения напоминают строительство здания. Если ваше здание строится из кирпичей, в одном случае, а в другом случае – из больших блоков, то при одном и том же внешнем виде здания вы должны будете осуществить две совершенно разных работы. Точно так же и решение задачи: при одном и том же продукте оно будет существенно разным – в зависимости того, из чего вы складываете это решение: из отдельных "кирпичей" или из больших блоков – фрагментов оперативных систем. Но каждый блок, как мы уже обсуждали, как бы свертывает в себе предшествующую деятельность. Естественно, что если мы собрались строить наше здание из больших блоков, а блоков под руками не оказалось и есть только кирпичи, то мы должны, образно говоря, на время оставить первую линию сборки из блоков и должны изготовить сами блоки. Благодаря этому наш процесс решения начинает ветвиться. И так может происходить на каждом шагу процесса.
Общий вывод таков: в зависимости от того, каким "строительным материалом" мы владеем, из каких блоков мы будем строить рассуждение, наш процесс будет принимать тот или иной вид. Таким образом, мы пришли к исключительно важному и принципиальному различению. Рядом с построенным нами решением (или текстом) должен быть еще арсенал или резервуар, в котором находятся материал и средства нашей деятельности. Но таким образом мы приходим к двум новым группам проблем:
что такое сами средства, какие виды их существуют?
что представляет собой сам процесс (и механизм) построения решения на базе этих средств, процесс "собирания" решения (и, соответственно, текста)?
Третий важнейший результат заключался в том, что мы поняли, что сами операции ни в коем случае не могут быть представлены в виде переходов от одних знаний к другим знаниям.
Двигаясь от одной задачи к другой, мы в конце концов должны перейти к разрешимой задаче. Но при этом мы очень часто переходим к задаче еще нерешенной. И поэтому мы никогда не знаем, разрешима новая задача, к которой мы переходим, или нет. Поэтому мы продолжаем свое движение и переводим ее в другую – разрешимую или уже решенную задачу. Так строятся длинные цепи задач.
В дальнейшем именно из этого возникли проблемы теории алгоритмов: нужно было ответить на вопрос, а действительно ли в том или ином случае мы можем перейти и переходим к разрешимым задачам. Но само это направление исследования очень наивно по своим эпистемологическим исходным принципам. Ведь ответ на вопрос, может ли та или иная массовая проблема быть разрешена алгоритмически или, наоборот, не может быть разрешена, дается лишь при определенном весьма ограниченном представлении самого решения. А откуда мы знаем, какие существуют способы и формы решений различных задач? Может быть, люди изощрятся и выдумают совсем новый способ решения, который мы сейчас не можем учесть в своих представлениях.
Интересно, что Ляпунов в своей работе подходит совершенно иначе, чем Марков. Он считает, что всегда может быть найдена такая задача С, которая в конечном итоге дает решение исходной задачи В. А будет ли она легче разрешимой или труднее разрешимой – это ведает один Господь Бог. Фактически мы всегда исходим из предположения, что задачи должны быть разрешимыми, что мы в конце концов сможем их решить. А если нам в силу тех или иных причин не удается этого сделать, то мы переводим практическую проблему в форму другой задачи и решаем эту последнюю. И так до тех пор, пока не получим решение.
Если рассматривать это движение с точки зрения человека, осуществляющего его, то он, переходя от одной задачи к другой, всегда рассчитывает на то, что новая задача будет разрешимой, но вместе с тем он никогда не знает этого наверняка. Поэтому, характеризуя этот процесс со сторонней точки зрения, мы говорим о необходимости перехода от одних задач к другим, разрешимым. И мы можем так утверждать, по сути дела, всегда постфактум, ретроспективно, а человек, осуществляющий сам переход, всегда только надеется на это.
Второй важнейший момент, который обнаружился в ходе нашей работы, – это различие средств и самого процесса решения. На исходных этапах, как вы помните, мы рассуждали так: есть некоторый текст, мы разбиваем его на последовательность единичек, находим структуру каждой единички, из этих структур собираем длинные цепи, и, когда мы это сделаем, то процесс рассуждения будет описан.
Но, двигаясь этим путем, мы обнаружили – и об этом я подробно рассказывал на прошлой лекции, – что рассуждения напоминают строительство здания. Если ваше здание строится из кирпичей, в одном случае, а в другом случае – из больших блоков, то при одном и том же внешнем виде здания вы должны будете осуществить две совершенно разных работы. Точно так же и решение задачи: при одном и том же продукте оно будет существенно разным – в зависимости того, из чего вы складываете это решение: из отдельных "кирпичей" или из больших блоков – фрагментов оперативных систем. Но каждый блок, как мы уже обсуждали, как бы свертывает в себе предшествующую деятельность. Естественно, что если мы собрались строить наше здание из больших блоков, а блоков под руками не оказалось и есть только кирпичи, то мы должны, образно говоря, на время оставить первую линию сборки из блоков и должны изготовить сами блоки. Благодаря этому наш процесс решения начинает ветвиться. И так может происходить на каждом шагу процесса.
Общий вывод таков: в зависимости от того, каким "строительным материалом" мы владеем, из каких блоков мы будем строить рассуждение, наш процесс будет принимать тот или иной вид. Таким образом, мы пришли к исключительно важному и принципиальному различению. Рядом с построенным нами решением (или текстом) должен быть еще арсенал или резервуар, в котором находятся материал и средства нашей деятельности. Но таким образом мы приходим к двум новым группам проблем:
что такое сами средства, какие виды их существуют?
что представляет собой сам процесс (и механизм) построения решения на базе этих средств, процесс "собирания" решения (и, соответственно, текста)?
Третий важнейший результат заключался в том, что мы поняли, что сами операции ни в коем случае не могут быть представлены в виде переходов от одних знаний к другим знаниям.
|
|