Эрвин Шрёдингер - Квантовый кот вселенной

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

Дискуссия о том, «кто прав», и в этом случае была бы совершенно бессмысленна.

Все сказанное в последних разделах о чувственных восприятиях наиболее удачно суммируется в том смысле, что мы в лучшем случае еще можем договориться о структуре чувственно воспринимаемого мира, но не о качестве строительных камней, из которых этот мир состоит. К этому следует добавить целый ряд замечаний, которые не кажутся мне несущественными.

Во-первых, кроющиеся в речи ограничения взаимопонимания ни в коем случае не являются наиболее чувствительными. Не будет большим преувеличением сказать, что это вообще несущественно, если только достигнуто свободное от помех взаимопонимание о структурах, так как именно они действительно интересны как с чисто биологической, так и с теоретико-познавательной точек зрения. И это справедливо главным образом потому – наше второе замечание – что ограничение взаимопонимания выявлением структуры простирается, как я думаю, далеко за пределы чувственно воспринятого мира и действительно также для всего остального, что мы хотим сообщить друг другу, в особенности для научных и философских мысленных картин более высокого и высшего рода. Пример – но всего лишь пример тому – доставляет нам так называемая аксиоматизация математики. Она состоит в том, что для определенных фундаментальных понятий (например, натуральное число, точка, прямая, плоскость) делается ряд предложений (аксиом) без доказательства: «каждое натуральное число имеет одно и только одно последующее» или «две различные точки определяют одну и только одну прямую». Из этих аксиом чисто логическим путем должны быть выведены все положения математики или некоторой ее частной области. Эти аксиомы верны независимо от какого-либо наглядного значения основных понятий или от того, оказываются ли эти аксиомы приемлемыми с оглядкой на это значение или нет. Они должны быть только непротиворечивыми, что часто совсем не просто доказать.

Особенно простой и ясный пример аксиоматизации дает проективная геометрия на плоскости. Основные образы здесь – точка и прямая. Основное понятие – принадлежность одного образа другому (точка лежит на прямой или, что то же самое, прямая проходит через точку). Две аксиомы гласят, что два различных образа одного рода принадлежат одному и только одному образу другого рода. Остальные четыре аксиомы для нас несущественны, за исключением того, что они симметричны относительно обоих родов объектов; они гласят: если три образа одного рода принадлежат одному образу другого, то среди образов первого, для которых справедливо то же самое, есть один, однозначно выделенный, который гармонически сопряжен первым трем. Безразлично, что именно это означает, существенно лишь, что в результате дополнения четвертым гармоническим каждое из этих четырех является четвертым гармоническим для трех остальных. Наконец, если четыре образа второго рода, принадлежащие одному образу первого рода, гармонически сопряжены, а пятый образ второго рода не принадлежит упомянутому выше образу первого рода, то четыре образа первого рода, принадлежащие четырем точкам пучка и пятому образу второго рода, также образуют гармоническую четверку образов. Эти предложения легче понять, если вместо образов первого рода говорить «прямые», а вместо второго – «точки» или наоборот. Вследствие полной симметрии всех аксиом можно в каждом правильно выведенном предложении всюду поменять местами слова «точка» и «прямая» и получить снова предложение, т. е. утверждение, логически вытекающее из аксиом, так называемое двойственное. Наглядные картины, отвечающие таким парам предложений, вообще говоря, совершенно различны, сами предложения часто были найдены в разное время различными исследователями независимо друг от друга, когда дуальность не была еще известна, например, теоремы Паскаля и Брианшона.

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