Виды доказательств

Немецкий философ XIX в. А. Шопенгауэр считал математику довольно интересной наукой, но не имеющей никаких приложений, в том числе и в физике. Он даже отвергал саму технику строгих математических доказательств. Шопенгауэр называл их мышеловками и приводил в качестве примера доказательство известной теоремы Пифагора. Оно является, конечно, точным; никто не может счесть его ложным. Но оно представляет собой совершенно искусственный способ рассуждения. Каждый шаг его убедителен, однако к концу доказательства возникает чувство, что вы попали в мышеловку. Математик вынуждает вас допустить справедливость теоремы, но вы не получаете никакого реального понимания. Это все равно, как если бы вас провели через лабиринт. Вы наконец выходите из лабиринта и говорите себе: «Да, я вышел, но не знаю, как здесь очутился».
Позиция Шопенгауэра, конечно, курьез, но в ней есть момент, заслуживающий внимания. Нужно уметь проследить каждый шаг доказательства. Иначе его части лишатся связи, и оно в любой мо¬мент может рассыпаться, как карточный домик. Но не менее важно понять доказательство в целом, как единую конструкцию, каждая часть которой необходима на своем месте. Как раз такого целостного понимания не хватало, по всей вероятности, Шопенгауэру. В итоге в общем-то простое доказательство представилось ему блужданием в лабиринте: каждый шаг пути ясен, но общая линия движения покрыта мраком.

Прямое и косвенное доказательство.......................................... 3
Прямое доказательство..................................................................... 4
Косвенное доказательство.............................................................. 5
Следствия, противоречащие фактам..................................................... 7
Внутренне противоречивые следствия................................................. 7
Разделительное доказательство........................................................... 9
Заключение........................................................................................... 11
ЛИТЕРАТУРА............................................................................................. 12