Первое, что приходит на ум: простые законы формальной логики не всегда применимы при анализе реальных явлений. Необходимы дополнительные уточнения и оговорки. Например, для разрешения «парадокса Гемпеля» используется теорема Байеса (нам нет необходимости её обсуждать).
Законы формальной логики не всегда применимы при анализе реальных явлений: существуют и белые вороны
Переходя от теоретической логики к материальной реальности, вспомним о том, что встречаются в природе, хотя и чрезвычайно редко, парадоксальные белые вороны. Об их существовании можно узнать двумя способами. В первом случае надо искать воронов, ведя им учёт, в результате чего можно в конце концов наткнуться на белую особь этого вида.
Возможен другой вариант. Вести наблюдения в природе, особо не выделяя воронов. При этом есть немалая вероятность того, что встретится белый ворон. Вряд ли в таком случае потребуется больше усилий, чтобы его встретить, чем в первом варианте. И там, и тут приходится полагаться на счастливый случай. Однако значительно расширяется интеллектуальное пространство, и можно будет обнаружить немало интересного кроме белого ворона.
Есть ещё один поучительный аспект утверждения «все вόроны чёрные». В процессе его проверки вряд ли быстро встретится белый ворон. Чем больше будет встречено чёрных воронов, тем больше будет укрепляться мысль, что исходный постулат абсолютно верный. Но вдруг после тысяч подтверждений возникло одно опровержение: обнаружен белый ворон.
Конечно, не исключено, что чёрного ворона специально покрасили в белый цвет, или что он угодил в белую краску, или это вовсе не ворон… Если все сомнения будут сняты, останется один достоверный факт против многих тысяч столь же достоверных фактов.
Учитывая формальное соотношение «за» и «против», можно пренебречь единственным фактом, «не вписавшимся» в общую картину. Однако в науке именно этот один факт имеет больший вес, чем тысячи подтверждений. Он открывает возможность для новых нетривиальных идей.
Гранд-отель Гильберта
Это не обычное заведение, а математическое. В нём бесконечное количество комнат. Все они заняты постояльцами. Свободных мест нет. Прибыл постоялец. Как его разместить? В этом отеле – без проблем.
Достаточно постояльца из № 1 переместить в № 2, а постояльца из него – в № 3, а из № 3 – в следующий, и так далее до бесконечности. Вот и освободился номер! Ведь комнат бесконечно много.
Да что там один «лишний» человек. Пусть прибудет тысяча; в конце концов такой отель может вместить бесконечное множество посетителей, несмотря на то, что все номера уже заняты.
Парадокс сформулировал столетие назад математик Давид Гильберт. Так он показал, что операции с бесконечными (воображаемыми) объектами не подчиняются знакомым нам с детства законам математики.
Например, в любой нормальной гостинице, где комнаты пронумерованы по порядку, количество чётных или нечётных номеров будет меньше числа всех номеров. Это очевидно.
Отель Гильберта может вместить бесконечное множество посетителей, несмотря на то, что все номера уже заняты
А в «Гранд-отеле Гильберта» количество комнат и с чётными номерами, и с нечётными не меньше общего числа комнат. Это противоречит здравому смыслу, ибо бесконечность остаётся вне нашего личного и коллективного опыта. Для нас она – нечто умозрительное, предполагаемое.
…Поговорка: всему есть предел. Бесконечность запредельна. Что там, за пределом, никто не знает. Надо догадываться, фантазировать, предполагать. Но почему – надо? Только потому, что хочется. Ограниченный ум человека не желает признавать ограничений. (Ещё один парадокс.)
На взгляд дилетанта, следовало бы вместо бесконечности или, пожалуй, в связи с ней, признать неопределённость как одну из философских, логических и математических категорий.
В таком случае не надо в придуманном Гильбертом Гранд-отеле пересаживать бесконечное множество постояльцев, что требует бесконечно много времени. Достаточно признать, что номеров в гостинице так много, что и сосчитать не удаётся. Наверняка найдётся место для ещё одного или даже многих клиентов, тем более что часть номеров неизбежно освобождается по разным причинам.
Как бы ни были увлекательными и парадоксальными игры с бесконечностью, приходится признать, что они основаны на вере, а не на фактах и знаниях, которые не бесконечны.
Лампа Томпсона
Британский философ Джеймс Ф. Томпсон в 1954 году предложил мысленный эксперимент с лампой, назвав его парадоксом о сверхзадаче.
Из Интернета: «Он рассмотрел выполнение бесконечного числа задач за заданное время, которому он дал название сверхзадачи. Чтобы опровергнуть возможность сверхзадач, он представил лампу Томсона – мысленный эксперимент, похожий на парадоксы Зенона».
Предположим, есть электрическая лампа, и мы её периодически включаем и выключаем. Сначала она включена на минуту, после чего на полминуты отключается. Снова включена уже на четверть минуты. Новое включение – на одну восьмую минуты, и так далее.