Математики так не работают. Ни один математик никогда так не работал. Это полное и окончательное непонимание предприятия математики. Математика не занимается возведением барьеров между нами и нашей интуицией, чтобы сделать простое сложным. Математика убирает препятствия нашей интуиции, и сохраняет простое простым.
Сравните эту мешанину со следующим рассуждением одного моего семиклассника:
Разве не восхитительно? Моя цель не сравнить, какое из двух рассуждений лучше как идея, а показать, насколько идея видна только во втором. (На самом деле, идея первого доказательства тоже хороша, но она едва проступает через эту запись, как бы в тусклом зеркале, гадательно.)
Еще важнее то, что это
Честно говоря, я изрядно перефразировал доказательство. Оригинал был куда более запутанным и содержал множество ненужных слов (и грамматических и орфографических ошибок). Тем не менее, я понял его. И все эти дефекты были только к лучшему — мне, как учителю, они тоже дали понять кое-что важное. Я указал на несколько стилистических и логических неточностей, и ученик смог исправить их. Например, я был недоволен утверждением о том, что обе диагонали — диаметры, мне не казалось это полностью очевидным — но это лишь означало, что мы должны были извлечь что-то из понимания ситуации. Ученик прекрасно справился и с этой проблемой:
Вот такая замечательная работа и прекрасная математика — даже не знаю, кто был более горд результатом: ученик или я. Вот пример именно того опыта, какому я хотел бы научить всех своих учеников.
* * *
Проблема со стандартной программой геометрии в том, что опыт самостоятельного терзающегося художника в нем отсутствует. Искусство доказательства заменено бланком установленной формы для пошагового вывода. Учебник приводит набор определений, теорем, доказательств, учитель переносит их на доску, ученики переписывают их в тетради. Детей учат повторять эти доказательства в их упражнениях. Те, кто обучаются этому повторению быстро, называются «хорошими учениками».
В результате ученик становится пассивным участником творческого акта. Ученики делают утверждения, чтобы заполнить графы в этом бланке доказательства, не потому, что они хотят именно это
Даже традиционный способ, которым представляются доказательства — ложь. Перед броском в каскад пропозиций и теорем вводятся определения, чтобы сделать доказательства возможно более краткими, как бы создавая иллюзию ясности. На поверхностный взгляд затея выглядит невинной: почему бы и не ввести список сокращений, чтобы говорить далее экономичнее? Проблема кроется в том, что определения