ОБ ИНТУИЦИИ И ЗДРАВОМ СМЫСЛЕ

Совместное расположение дыхательных путей и кровеносной системы в легком также представляет собой весьма интересную конструкцию, в которой общую границу имеют уже три множества – артерии, вены и бронхиолы. Первым примером такого множества мы обязаны Брауэру. Рассматривая конструкцию Брауэра с учетом приведенных выше соображений, мы не найдем абсолютно никаких противоречий со здравым смыслом. Однако для оценки ее в исторической перспективе нам следует еще раз обратиться к нашему красноречивому поборнику интуитивного знания и общепринятых воззрений, Гансу Хану.

«Мы интуитивно знаем, что три области могут граничить между собой только в отдельных точках… Мы не в состоянии интуитивно постичь построение Брауэра, хотя логический анализ требует от нас его принятия. В очередной раз [обнаруживается], что даже в простых и элементарных вопросах геометрии совершенно нельзя полагаться на здравый смысл. Невозможно использовать [его] в качестве отправной точки или фундамента математической дисциплины. Пространство геометрии представляет собой … целиком логическое построение…

[Однако если] мы привыкнем иметь дело с подобными логическими построениями, если они проникнут в школьную программу, если мы будем узнавать о них, так сказать, с младых ногтей, так же, как мы узнаем о трехмерной евклидовой геометрии – тогда, очевидно, никому и в голову не придет сказать, что такие геометрические построения противны здравому смыслу».

Настоящее эссе служит наглядной демонстрацией того, что Хан опять оказывается глубоко неправ. Для того, чтобы справиться с теми неприятностями, о которых он говорит, необходимо, на мой взгляд, научить тот здравый смысл, который есть у нас сейчас, воспринимать новое – нет необходимости отбрасывать «старый» здравый смысл и пытаться воспитать «новый». Хан ставит ошибочный диагноз и прописывает лекарство, которое загонит пациента в гроб.

Здравый смысл в геометрии никогда не отрицал того, что он нуждается в помощи логики, невзирая на ее странные и запутанные методы. С чего бы логике опять пытаться от него ускользнуть?

Словом, ни в коем случае нельзя полагаться на то, что типичный математик считает совместимым со здравым смыслом; никак невозможно позволять какому бы то ни было здравому смыслу руководить нами при построении той или иной модели; и вообще, математика слишком важна, чтобы можно было отдать ее на откуп фанатикам от логики.