Понятие эвристики в математике

Вместе с тем обнаружение теоретико-множественных парадоксов и появление теорем Геделя как раз содействовали и разработке теории математического доказательства, предпринятой интуиционистами, особенно конструктивистского направления, и Д. Гильбертом.

Иногда считают, что математическое доказательство носит всеобщий характер и представляет идеальный вариант научного доказательства. Однако оно -

не единственный метод, есть и другие способы доказательных процедур и операций. Верно лишь то, что у математического доказательства немало сходного с формально-логическим, реализуемом в естествознании, и что математическое доказательство имеет определенную специфику, равно, как и набор приемов-операций. На этом мы и остановимся, опуская то общее, что роднит его с другими формами доказательств, то есть не развертывая во всех шагах (даже и основных) алгоритм, правила, ошибки и т.п. процесса доказательства.

Математическое доказательство представляет рассуждение, имеющее задачей обосновать истинность (конечно, в математическом, то есть как выводимость, смысле) какого-либо утверждения.

Свод правил, применяемых в доказательстве, сформировался вместе с появлением аксиоматических построений математической теории. Наиболее четко и полно это было реализовано в геометрии Эвклида. Его "Начала" стали своего рода модельным эталоном аксиоматической организации математического знания и долгое время оставались таковыми для математиков.

Высказывания, представляемые в виде определенной последовательности, должны гарантировать вывод, который при соблюдении правил логического оперирования и считается доказанным. Необходимо подчеркнуть, что определенное рассуждение является доказательством только относительно некоторой аксиоматической системы.

При характеристике математического доказательства выделяют две основные особенности. Прежде всего, то, что математическое доказательство исключает какие-либо ссылки на эмпирию. Вся процедура обоснования истинности вывода осуществляется в рамках принимаемой аксиоматики. Академик А.Д Александров в связи с этим подчеркивает. Можно тысячи раз измерять углы треугольника и убедиться, что они равны 2d[2]. Но математику этим ничего не докажешь. Ему докажешь, если выведешь приведенное утверждение из аксиом. Здесь математика и близка методам схоластики, которая также принципиально отвергает аргументацию опытно данными фактами.

К примеру, когда была обнаружена несоизмеримость отрезков, при доказательстве этой теоремы исключалось обращение к физическому эксперименту, поскольку, во-первых, само понятие "несоизмеримость" лишено физического смысла, а, во-вторых, математики и не могли, имея дело с абстракцией, привлекать на помощь вещественно-конкретные протяженности, измеряемы чувственно-наглядным приемом. Несоизмеримость, в частности, стороны и диагонали квадрата, доказывается, опираясь на свойство целых чисел с привлечением теоремы Пифагора о равенстве квадрата гипотенузы (соответственно - диагонали) сумме квадратов катетов (двух сторон прямоугольного треугольника). Или когда Лобачевский искал для своей геометрии подтверждение, обращаясь к результатам астрономических наблюдений, то это подтверждение осуществлялось им средствами сугубо умозрительного характера. В интерпретациях неэвклидовой геометрии, проведенных Кэли - Клейном и Бельтрами, также фигурировали типично математические, а не физические объекты[3].

Вторая особенность математического доказательства - его наивысшая абстрактность, которой оно отличается от процедур доказательства в остальных науках. И опять же, как в случае с понятием математического объекта, речь идет не просто о степени абстракции, а о ее природе. Дело в том, что высокого уровня абстрагирования доказательство достигает и в ряде других наук, например, в физике, космологи и, конечно, в философии, поскольку предметом последней становятся предельные проблемы бытия и мышления. Математику же отличает то, что здесь функционируют переменные, смысл которых - в отвлечении от любых конкретных свойств. Напомним, что, по определению, переменные - знаки, которые сами по себе не имеют значений и обретают последние только при подстановке вместо них имен определенных предметов (индивидные переменные) или при указании конкретных свойств и отношений (предикатные переменные), или, наконец, в случаях замены переменной содержательным высказыванием (пропозициональная переменная).

Отмеченной особенностью и обусловлен характер крайней абстрактности используемых в математическом доказательстве знаков, равно, как и утверждений, которые, благодаря включению в свою структуру переменных, превращаются в функции высказывания.

Таким образом, можно сделать следующие выводы.

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

При характеристике математического доказательства выделяют две основные особенности. Прежде всего, то, что математическое доказательство исключает какие-либо ссылки на эмпирию. Вторая особенность математического доказательства - его наивысшая абстрактность, которой оно отличается от процедур доказательства в остальных науках.

1.2. Эвристика как метод научного познания

Вопросы понимания механизмов человеческого мышления, выработки приемов повышения его эффективности в те далекие времена больше занимали, говоря сегодняшним языком, представителей гуманитарных профессий: философов, теологов, психологов. Первые упоминания об эвристике, учении о продуктивных методах творческого мышления, относятся к временам античности. Наиболее ранние попытки выявить особенности творческого подхода при решении задач нашли отражение в трудах Архимеда, Евклида, Апполония Бергамского, Аристея-старшего. Сам же термин "эвристика" впервые появился в трудах греческого математика Паппа Александрийского, жившего во второй половине III века нашей эры.

Эвристика (от греч. "эврика" - Я нашел) - наука о вспомогательных, дополнительных к основным (эксперимент, наблюдение и т.п.) приемах получения знаний.

В научной литературе это понятие не имеет единого толкования. В некоторых работах об интенсификации научно-технического творчества эвристика отождествляется с психологией научного творчества: "Психология научного творчества - эвристика изучает, как решаются научные задачи, требующие, кроме знаний и умений, также и сообразительности, догадки".

Другие психологи считают, что эвристика - это "абстрактно-аналитическая наука, изучающая один из структурных уровней организации творческой деятельности и ее продуктов".

Следующие определения эвристики:

1.Специальные методы, используемые в процессе открытия (создания) нового (эвристические методы).

2.Наука, изучающая продуктивное творческое мышление (эвристическую деятельность).

3.Восходящий к Сократу метод обучения (майевтика) .

По мнению психологов, эвристика - это отрасль знания, "изучающая формирование новых действий в необычной ситуации", она может стать наукой "в том случае, если эвристические процессы, приводящие к этим новым действиям, найдут наконец свое математическое описание".

 Скачать реферат