XX век как жизнь. Воспоминания - стр. 43
Очевидность указанных выше положений становится совершенно явной, если мы, например, сравним такие суждения: «мир материален» и «мир непознаваем». Логически их совместимость или несовместимость не может быть доказана. Если кто-нибудь сомневается в этом, может попробовать.
Таким образом, мне кажется, что та логическая форма, которая принята в докладе проф. Кольмана для решения данного вопроса, является непригодной для дела, и постановка этого вопроса в логической форме неправомерна.
Теперь посмотрим, как решает докладчик поставленную задачу по существу. Задача решена очень просто. Проф. Кольман берет два возражения против возможности признания мира конечным, разбивает эти возражения, а поскольку иных возражений нет, то делается известный уже вывод о «логической совместимости». Алгоритм, как видите, несложный.
В о з р а ж е н и е 1. Если мир конечен, то он ограничен; если мир ограничен, то он во что-то вмещен; если мир во что-то вмещен, то материя ограничена чем-то нематериальным. Это даже не философское возражение, а недоумение обыкновенного, обыденного, как говорят иногда философы, сознания – если мир конечен, то что же находится за этим «концом», что лежит за пределами, за границами мира?
Но для математика это наивный вопрос. Конечность мира не предполагает его ограниченность, говорит проф. Кольман. Это «наглядно» показывают («по аналогии») конечные и замкнутые, но вовсе не ограниченные многообразия одного и двух измерений. Давайте последуем совету докладчика и попробуем «наглядно» убедиться в конечности мира по математическим моделям этой конечности.
Возьмем одномерное замкнутое многообразие. Примером его является окружность.
Что здесь характерно? Что определяет окружность как одномерное многообразие? То, что каждая точка окружности есть ее внутренняя точка или, как говорят математики, каждая точка является гомеоморфным образом интервала. Следовательно, данное многообразие является конечным, замкнутым, но не ограниченным, ибо оно ни с чем, кроме себя, не граничит.
Здесь может последовать вопрос: но ведь линия ограничена, так сказать, «с боков». Математик этот вопрос отвергнет и скажет: так как по условию это – одномерное многообразие, то не может быть и речи о «боках», их не существует, ибо это уже второе измерение.
Такова первая аналогия, которая должна «наглядно» убедить нас в конечности мира.
Примерами двумерного многообразия могут являться или поверхность обыкновенного бублика («тор»), или сфера, или поверхность цирковой гири («сфера с n ручками»). Здесь также каждая точка поверхности есть ее внутренняя точка (гомеоморфная внутренности круга). Поэтому здесь нет границ, хотя многообразие конечно и замкнуто.