Прямое и косвенное доказательствоСтраница 1
Немецкий философ XIX в. А. Шопенгауэр считал математику довольно интересной наукой, но не имеющей никаких приложений, в том числе и в физике. Он даже отвергал саму технику строгих математических доказательств. Шопенгауэр называл их мышеловками и приводил в качестве примера доказательство известной теоремы Пифагора. Оно является, конечно, точным; никто не может счесть его ложным. Но оно представляет собой совершенно искусственный способ рассуждения. Каждый шаг его убедителен, однако к концу доказательства возникает чувство, что вы попали в мышеловку. Математик вынуждает вас допустить справедливость теоремы, но вы не получаете никакого реального понимания. Это все равно, как если бы вас провели через лабиринт. Вы наконец выходите из лабиринта и говорите себе: «Да, я вышел, но не знаю, как здесь очутился». [5, c. 56]
Позиция Шопенгауэра, конечно, курьез, но в ней есть момент, заслуживающий внимания. Нужно уметь проследить каждый шаг доказательства. Иначе его части лишатся связи, и оно в любой момент может рассыпаться, как карточный домик. Но не менее важно понять доказательство в целом, как единую конструкцию, каждая часть которой необходима на своем месте. Как раз такого целостного понимания не хватало, по всей вероятности, Шопенгауэру. В итоге в общем-то простое доказательство представилось ему блужданием в лабиринте: каждый шаг пути ясен, но общая линия движения покрыта мраком.
Доказательство, не понятое как целое, ни в чем не убеждает. Даже если выучить его наизусть, предложение за предложением, к имеющемуся знанию предмета это ничего не прибавит. Следить за доказательством и лишь убеждаться в правильности каждого его последующего шага - это, по словам французского математика А. Пуанкаре, равносильно такому наблюдению за игрой в шахматы, когда замечаешь только то, что каждый ход подчинен правилам игры.
Минимальное требование - это понимание логического выведения как целенаправленной процедуры. Только в этом случае достигается интуитивная ясность того, что мы делаем.
«Я принужден сознаться, - заметил как-то Пуанкаре, - что положительно не способен сделать без ошибки сложение. Моя память не плохая; но чтобы стать хорошим игроком в шахматы, она оказалась бы недостаточной. Почему же она не изменяет мне в сложных математических рассуждениях, в которых запутались бы большинство шахматных игроков? Это происходит, очевидно, потому, что в данном случае память моя направляется общим ходом рассуждения. Математическое доказательство не есть простое сцепление умозаключений: это умозаключения, расположенные в определенном порядке; и порядок, в котором расположены эти элементы. Если у меня есть чувство . этого порядка, вследствие чего я сразу могу обнять всю совокупность рассуждений, мне уже нечего бояться забыть какой-либо элемент; каждый из них сам собою займет свое место .» [5, c. 59]
То, что создает, по выражению Пуанкаре, «единство доказательства», можно представить в форме общей схемы, охватывающей основные его шаги, воплощающей в себе общий принцип или его итоговую структуру. Именно такая схема остается в памяти, когда забываются подробности доказательства. С точки зрения общего движения мысли, все доказательства подразделяются на прямые и косвенные.
При прямом доказательстве
Задержка психического развития
В современном значении "задержка психического развития" понимаются синдромы временного отставания развития психики в целом или отдельных ее функций (моторных, сенсорных, речевых, эмоционально-волевых). То есть, это состояние замедленного темпа реализации закодированных в генотипе свойств организма вследствие временно и мягко д ...
Факторная теория Кэттела.
Кэттел рассматривает личность как сложную и дифференцированную структуру черт, где мотивация по преимуществу зависит от субсистемы так называемых динамических черт.
Вообще черта - наиболее важное у Кэттела понятие. Центральным для Кэттела является различение между поверхностными и исходными чертами. Кэттел считает исходные черты боле ...
Жизненные задачи
Три основные жизненные задачи, с которыми сталкивается каждый индивидуум, - работа, дружба и любовь. Они определены фундаментальными условиями человеческого существования. Эти три основные связи определены тем фактором, что мы живем в определенном месте вселенной и должны развиваться в тех пределах и возможностях, которые окружающее нам ...