Страница: 12/21
В эстетическом аспекте, как геометрическое, так и математическое доказательство вообще, предстает как демонстрация, т.е. непосредственный показ того, как соединяются, «стыкуются» элементы соответствующей математической конструкции. Результат же математического доказательства - математическое утверждение - есть, в интересующем нас аспекте, утверждение об особенностях соединения элементов математической конструкции, которое мы имели возможность «видеть» в процессе доказательства. Неслучайно математическое утверждение получило название теорема (theorema), т.е. «зрелище», «то, что смотрят».
Как известно, самый веский аргумент для обыденного мышления звучит приблизительно так: «Я сам видел, не веришь - пойди и посмотри». Заслуживает внимания, что наиболее точная из теоретических наук - математика, составляющая как бы диаметральную противоположность обыденному знанию, черпает доказательную силу своих рассуждений в непосредственной наглядности своего предмета, т.е. также в возможности «увидеть самому» и «показать другому». Можно сказать даже, что подлинной убедительностью, подлинной доказательной силой обладает только демонстрация (непосредственный показ). Как говорит Шопенгауэр: «Последняя, т.е. исконная очевидность, - созерцаема, что показывает уже само слово» [36, т.1, с.200].
Если бы не существовало обсуждавшихся выше естественных ограничений возможностей нашего наглядного представления пространственно-временных отношений (в восприятии слишком большого, слишком малого и т.п.), то, возможно, и математического доказательства, а тем самым и теоретической математики не возникло бы. Математикам не понадобилось бы идти далее лаконичного «смотри» древних индийцев или перегибания чертежа (как, по-видимому, обосновывал геометрические утверждения еще Фалес). Мы могли бы смело, вслед за Шопенгауэром [36, т.1, с.104-108, 196-216, т.2, с.212-214], возмутиться хитросплетениями доказательств от противного, производимых Евклидом там, где достаточно всего лишь перегнуть рисунок, и полагать, что самым лучшим обоснованием теоремы Пифагора является удачный чертеж без каких-либо комментариев.
Однако указанные ограничения существуют, и именно обговаривание соответствующих чертежей и их особенностей знаменовало рождение математики как таковой. Но математики не смогли бы продвинуться достаточно далеко в своих изысканиях, если бы не научились воплощать словесные рассуждения в квазигеометрические символические построения, т.е. не смогли бы вновь опереться на геометрическую оче-видность, но на качественно новом уровне. Именно слово (logos) оказывается тем связующим звеном, которое позволяет шагнуть от геометрического конструирования к квазигеометрическому манипулированию графическими символами (13) . «Посредством понятийного мышления - говорит Г.Рейхенбах - мы можем перейти от созерцания к преобразованному созерцанию. Человеческий разум обладает способностью, так сказать, «перехитрить» визуальные образы с помощью абстрактных понятий и после этого продуцировать новые образы» [26, с.67].
Уже при решении простейших задач геометрии, наряду с собственно геометрическим конструированием систематически применяется и квазигеометрическое конструирование. Возвращаясь к примеру с тысячеугольником, можно заметить, что хотя его наглядное представление и невозможно в той степени, в какой оно осуществимо для трех- или пятиугольника, однако, сохранить конструктивный характер соответствующих рассуждений легко удается посредством введения алгебраической символики, позволяющей рассуждать о соотношении углов и отрезков соответствующей конфигурации вне зависимости от числа сторон, а также различать, неразличимые в наглядном представлении многоугольники с тысячью и тысяча двумя сторонами. Там, где геометрическая наглядность нам отказывает, мы можем опереться на наглядность квазигеометрическую. При этом, как мы могли отвлекаться (абстрагироваться) от толщины геометрических линий и размера геометрических точек, так мы абстрагируемся и от конкретного очертания используемых нами алгебраических знаков, сосредотачивая внимание лишь на системе пространственно-временных отношений, с их помощью передаваемых.
Реферат опубликован: 26/01/2009