10
Об эволюционных аспектах математического мышления см. в: Geary 2005, chap. 6.
Разумеется, многие абстрактные термины не связаны с математикой. Однако поразительное количество таких типов абстрактных идей относится к эмоциям. Мы можем не видеть эти термины, но чувствуем их или по меньшей мере их важные стороны.
Терренс Дикон, автор книги «Символический вид» (The Symbolic Species), отмечает неотъемлемую сложность проблемы кодирования/декодирования в математике:
«Вообразите, что вы впервые сталкиваетесь с новым видом математических понятий – например, рекурсивным вычитанием (т. е. делением). Когда детям преподают это абстрактное понятие, чаще всего их заставляют выучить набор правил обращения с действиями и числами. а потом эти правила снова и снова отрабатываются с разными числами в надежде, что такая практика поможет детям “увидеть” параллели с определенными физическими проявлениями. Мы часто описываем это как обучение математическим действиям путем механического заучивания (что в моих терминах называется индексальным обучением), а затем, когда действия уже могут совершаться почти бессознательно, мы надеемся, что дети осознают, как математика соотносится с процессами физического мира. На определенном этапе, если все идет как нужно, дети “понимают” общий абстрактный принцип, объединяющий эти связанные с символами и формулами операции. Так они могут реорганизовать то, что уже заучили механически, в соответствии с мнемоническими принципами более высокого уровня, касающимися комбинаторных возможностей и их абстрактной соотнесенности с манипулированием объектами. Такой шаг к абстракции для многих детей зачастую сложен. Однако вспомните, что та же трансформация на еще более высоком уровне абстракции требуется для понимания высшей математики. Дифференциалы связаны с рекурсивным делением, интегралы – с рекурсивным умножением, в каждом случае до бесконечности, т. е. до предельных величин (это возможно потому, что они зависят от сходящихся рядов, которые сами по себе плод умозаключений, а не прямого наблюдения). Эта способность видеть, что будет, если операцию повторять бесчисленное количество раз, и является ключевой для того, чтобы разрешить парадокс Зенона (который, кажется, невозможно осмыслить, когда он описан словами). Однако вдобавок к этой сложности используемый сейчас нами лейбницевский формализм сводит эту бесконечную рекурсию к одному символу (dx/dt) или знаку интеграла, поскольку никто не в состоянии писать такие операции бесконечно. Из-за этого манипулирование математическими символами еще больше теряет связь с соответствующими физическими величинами.
Поэтому смысл операции, выраженный математически, по сути содержит двойную кодировку. Да, у нас развиты мыслительные способности, позволяющие манипулировать с физическими объектами, и, разумеется, это сложно. Однако математика есть форма «кодирования», а не только воспроизведения,