Доказательство — рассуждение с целью обоснования истинности некоторого утверждения. Доказательство ассоциируется с математикой, а школьники связывают его прежде всего с геометрией.
Истинно ли доказанное утверждение? — Конечно, что за вопрос…
Нам все, что больше трех, требуется сосчитать: предметы или звуки. Непосредственное, без тренировки, пространственное и временное распознавание числа объектов простирается не далее 4 или 5. Это врожденное свойство: “нейронное” изображение чисел от 1 до 3 в “единичной” системе счисления (вертикальными или горизонтальными черточками) совпадает практически во всех культурах, различия в изображении чисел начинаются с числа 4.
Нейронного запаса человеку оказалось мало, и он пополнил его. Сначала появился счет с применением стандартных счетных предметов: пальцев, камешков или раковин. Затем стали употреблять знаки: узелки, черточки, зарубки.
Для уже привычных групп счетных знаков возникли знаки языка – числительные. Римляне надели камешки (calculus – отсюда калькулятор) на стержни – получились счеты. Счеты неявно ввели позиционную систему счисления. Нуль в этой системе не требовал изображения и не мог его иметь. Для записи результатов счета потребовались средства письменности — иероглифы и буквы алфавита. В Древнем Египте иероглифами записывали числа до десяти миллионов.
Греки использовали для записи результатов астрономических вычислений смешанную систему: для целой части — собственную десятичную алфавитную непозиционную, для дробной части — 60-ричную вавилонскую позиционную. Письменные операции над такими числами были нелегким делом.
Десятичную систему с нулем изобрели в Индии (VI век); ее заимствовали арабы, а у арабов — европейцы, которые до того пользовались римскими цифрами. Арабские цифры и десятичные дроби были открыты европейцами уже после того, как они открыли Америку. Операции над цифровыми символами на бумаге стали проще, но и до сих пор трудны, а с появлением калькуляторов стали разве лишь непопулярным интеллектуальным спортом.
Изображения чисел и средства выполнения операций над числами дают работающую языковую модель — теорию. Разумеется, шесть тысяч лет тому назад наши предки были “заняты делом”, а не “теориями”. Тем не менее, они создали арифметику — теорию, оказавшуюся более эффективным инструментом, нежели врожденная нейронная модель счета. Арифметика — квант надбиологической эволюции, компонент культуры./p>
Важнейшим вкладом в математическую науку и практику стала формула — точное формальное предписание, определяющее преобразование одного языкового объекта в другой. Формулу объявляли и иногда поясняли; о доказательстве не было и речи. Для геометрических формул приводили поясняющий чертеж (иногда с надписью “Смотри!”).
Формула может быть словесной, геометрической, знаковой. Типовой пример — тоже формула. Формула до сих пор господствует в школе и в жизни и для многих является вершиной абстракции.
Переход к формулам — квант эволюции. Формулы превратили проблемы в задачи, а задачи в упражнения (для знающих людей). Количество решаемых и решенных арифметических задач — объектов предыдущего уровня — стало стремительно увеличиваться, а деятельность на этом уровне стала рутинной. Социальный престиж решателей задач снизился, но зато их количество возросло. Умельцы, решавшие задачи "доформульными" средствами, быстро "вымирали". Изобретатели формул оставались в меньшинстве, но в выигрыше. Таковы свойства любого квантового перехода.
Формула, конечно, существует не сама по себе, а только в некотором теоретическом и практическом контексте и далее вплоть до культурного контекста. Не всегда новая формула, особенно опирающаяся на новые понятия, сразу и успешно вытесняет старые подходы и навыки и их владельцев.
Бухгалтерский учет с его концепциями дебета и кредита, с проводками и с двойной записью — живучий плод изобретательности тех, кто так и не смог освоить понятие отрицательного числа (красное сальдо).
Фалес Милетский (611-549 до н.э.) продемонстрировал новое применение интеллекта: доказательство теорем. Фалес доказал, что диаметр делит круг на две равные части; что противоположные углы при пересечении двух прямых равны; что углы при основании равнобедренного треугольника равны; доказал признак равенства треугольников по стороне и прилежащим к ней углам. Он же построил окружность вокруг прямоугольного треугольника, указал способ определения высоты сооружения по его тени и способ определения расстояния до недоступного предмета (корабля в море).
Зачем Фалес среди прочих доказывал очевидные утверждения? — Не для того, чтобы убедить кого-либо в их справедливости, а для того, чтобы разработать и продемонстрировать новую технологию мышления.
Изобретение доказательства — квант эволюции. Фалес открыл новый горизонт, золотую жилу. Доказательство — это способ производства формул. Количество формул — объектов предыдущего уровня — стало быстро расти, а затраты на рождение формулы уменьшились. Как всегда, вместе с новым полем деятельности возникла новая каста — каста людей, умеющих формулировать и доказывать теоремы.
В доказательствах геометрических теорем появились аксиомы.
Аксиомы геометрии опираются на фундаментальные понятия порядка, движения, тождества, непрерывности. Применение аксиом предполагает использование процедур логического вывода. Логический вывод представляет собой последовательность утверждений, которые выведены из аксиом и/или из ранее выведенных утверждений. Аксиомы и только они принимаются без вывода, т.е. без доказательства.
Малограмотная формулировка: “Аксиома не требует доказательства”. Логический вывод доставил возможность получения из достоверных знаний новых достоверных знаний. Аксиомы (первоначально) — это модели, инвариантные относительно ассоциаций (игры воображения); конструкции, имеющие опору в нейронных понятиях ниже того горизонта, который подвержен работе воображения с доступными ему конструктивами. Аксиома — не результат, а форма познания действительности, — модель, выработанная в процессе эволюции.
Возникновение концепции доказательства преобразовало всю жизнь западного человечества, дав его мыслящей части инструмент для защиты от апелляции к очевидности. Концепция доказательства была и будет барьером, отделяющим Homo profanus от Homo argumentorum. Этот барьер не могут преодолеть обе стороны. И это хорошо, иногда для обеих сторон.
Доказательство заняло место формулы на вершине эволюционного древа мыслительной деятельности. Дедуктивный метод стал укором и мечтой для гуманитариев, недаром Спиноза построил свою “Этику” по образцу “Начал” Евклида. Дух Евклида - это дух школы Платона, его теории идей. Доказательство – мысленный эксперимент.
Греки действовали в жестких идеологических рамках: они искали в мире воплощение совершенных идей, строили мир из правильных многоугольников и многогранников, правильных отношений музыкальной гаммы, закономерностей чисел. Пифагорейская мистика совершенных чисел и фигур оказала и оказывает мощное влияние на науку. Пифагореизм настолько пронизывает нашу (западную) культуру в целом, что мы его не замечаем и не знаем, что “говорим прозой” по Пифагору.
Греки полагали, что утверждения математики абсолютно точны и достоверны, тогда как данные опытного знания приблизительны, обманчивы и недостоверны: даже равенство двух отрезков может быть доказано не измерением, а рассуждением. “Приближенными вычислениями стыдно заниматься свободному человеку, они — удел раба”.
“При помощи математики очищается и получает новую жизненную силу орган души, в то время как другие занятия уничтожают его и лишают способности видеть, тогда как он значительно более ценен, чем тысяча глаз, ибо только им одним может быть обнаружена истина”. Платон
Греки использовали в доказательствах только геометрически наглядные средства, а не буквенные символы. Поразительно, что в рамках столь трудной геометрической алгебры им удалось получить так много результатов. В Новое время Ньютон следовал греческой традиции, а Лейбниц — нет.