Инженерная эвристика - Нурали Латыпов
Шрифт:
Интервал:
Закладка:
Тем не менее, начальник тюрьмы выполнил свои обещания, и узник был казнён неожиданно для него, как и было обещано! Как это возможно?
Парадоксы теории множеств
«Никто не может изгнать нас из рая, созданного нам Кантором!» — заявил Давид Гильберт по поводу теории множеств Георга Кантора. Таково было чувство восторга от новой «игрушки» у математиков того времени. В 1873 году Кантор ввел понятие множества. Первоначально новая теория помогла решить ряд проблем. Однако очень скоро в ней обнаружились противоречия.
Первое противоречие возникло благодаря введению и анализу самого большого множества из всех: множества всех множеств. Простейший вопрос «Существует ли множество всех множеств?» тут же приводит к парадоксу. Для этого надо напомнить, что в теории множеств разрешима процедура включения одного множества в состав другого или «взятие множества от множества». (Это вам ничего не напоминает? Правильно — вездесущую рекурсию!)
Можно включать какие угодно множества в состав одного — их объединяющего, до тех пор пока все множества не исчерпаются. Тогда мы получим сверхмножество, которое включает в себя все остальные множества. Все! Но не все! Само сверхмножество (множество всех множеств) оказалось не включённым! Ведь его вначале не было, а теперь оно появилось. Ну что же, включим теперь и его. Но тогда появляется новое сверхмножество, которого только что ещё не было. Тогда и его включим, и так до бесконечности! То есть множество всех множеств и существует, и не существует одновременно!
Причиной парадокса является возможность быть множеству элементом самого себя. Можно конечно ограничить эту возможность, но тогда исчезнут многие очень полезные возможности теории множеств. Лучше локализовать проблему, и для этого разделить все множества на два типа, те, которые содержат себя в качестве своего элемента, и те, которые не содержат..
В 1901 году Бертран Рассел в письме коллеге изложил мысль, которая в популярной форме известна как «Парадокс брадобрея»: «В одной военной части был брадобрей. Ему было разрешено под угрозой смертной казни брить только тех военнослужащих, которые не бреются сами. Но вот беда — сам брадобрей тоже был на службе. Мог ли он в таком случае побриться сам?»
Если он себя побреет, то окажется тем, кого ему брить категорически запрещено, а если не побреет, то окажется среди тех, кого брить ему можно!
Словом, в теории множеств выявилось много противоречий[92], а на их устранение потратили огромное количество усилий. Собственно, как и в случае с математическим анализом, который первоначально был противоречив и только трудами титанов — Коши, Вейерштрасс, Гейне — приведён в образцовое состояние. В условно образцовое. Ибо все противоречия математического анализа были упрятаны в его определения, совмещающие в себе невозможное. Достаточно вспомнить бесконечно малые и бесконечно большие величины, которые «куда-то стремятся, но никогда своего предела не достигают». При этом само стремление к пределу происходит вне времени, что невозможно само по себе — в природе такое не наблюдается.
ВОПРОС № 98
Сколько яблок на рисунке?[93]
Детский парадокс
В математике имеется огромное число парадоксов и противоречий. Никто даже не знает сколько — так велика математика! Кстати, это обстоятельство ничуть не мешает нам её любить!
Тем нашим читателям, у кого подрастают дети, ещё предстоит хлебнуть из-за этой «парадоксальности»:
— Папа, существует ли самое большое число?
— Да, существует? — папа пытается отделаться от навязчивого почемучки.
— А что будет, если к нему прибавить единицу?
Очевидно, что ответ неудовлетворителен. Отец в затруднении.
— Нет, Не существует. Так как натуральный ряд стремится к бесконечности! — папа пытается продемонстрировать образованность.
— А можно это несуществующее число, ну, эту бесконечность, обозначить?
— Да, можно.
— А если отнять от этого не существующего числа единицу, мы получим существующее число?
— Нет!
— А если отнять от этого не существующего числа две единицы, мы получим существующее число?
— Нет!
<…>
— А если отнять от этого не существующего числа бесконечность натуральных чисел, мы получим существующее число? Ведь это бесконечности одинакового порядка!
— Э… Да! Получим.
— Тогда где, на каком числе несуществующее число превращается в существующее?
Парадоксы триалектики
Нередко противники диалектики утверждают, что парадоксы и противоречия возникают как следствие «бинарности», парности её категорий. Это, конечно, и верно, и неверно одновременно. Вот парадокс для трёх понятий.
Парадокс причинности
Будущее, настоящее, прошедшее. Три «стадии», или же измерения, времени. Если существует возможность передать сигнал из будущего в прошлое, то возникает петля времени.
Допустим, мы из некоторой лаборатории передаём сигнал на взрывное устройство, находящееся в прошлом, которое уничтожает наш передатчик. Но тогда мы не можем послать сигнал для уничтожения передатчика, и передатчик передаёт сигнал, который взрывает передатчик, который не передаёт сигнал… и т. д.
Правда в этих рассуждениях отсутствует «настоящее». Или, точнее, оно присутствует в неявном виде, как то место, в котором мы находимся, пока совершаем рассуждения (начало координат). Сохраняется универсальность рассуждений: мы совершаем действие, аналог самоприменимости, по отношению к источнику. В результате возникает замкнутый круг, как и раньше: истина — ложь, самоприменимый-несамоприменимый, и т. д.
Парадоксы цветового восприятия
Любопытно, что все цвета разлагаются на три основных цвета, и это разложение хорошо описывается в числах Гамильтона (i, j, k), так хорошо, что эта математика используется в компьютерной графике.
Есть немало парадоксов для зрительного восприятия цвета, которые можно во множестве видеть в Интернете. Они не описываются словами, но их можно наблюдать — например, знаменитая иллюзия движения.[94]
Удивительное оптическое явление обнаружили случайно. Однажды в американской компании «Polaroid Corporation» сотрудник фирмы Е.Г Ланд сделал два фотоснимка цветных предметов через два разных светофильтра. Один светофильтр был красным, другой зелёным. Затем оба изображения спроектировали на экран и совместили. Диапозитив, сфотографированный через красный светофильтр, подсветили красным светом, а второй диапозитив, снятый через зелёный светофильтр, поставили на пути… белого света. Следовательно, зелёного цвета в опыте не было. Но результат превзошел все ожидания.
Вопреки предположению, что на экране появится изображение в оттенках красного и розового цветов, натюрморт вдруг предстал в красках, которые соответствовали оригиналу. Проекция оказалась подобна «натуре».
Дальше поиск пошёл целенаправленно. М. Х. Вильсон попробовал воспроизвести краски оригинала одним единственным цветом.
Учёный три раза сфотографировал на чёрно-белую плёнку картину Ван Гога «Лодки на берегу моря». Затем Вильсон совместил эти три изображения на белом экране через три светофильтра. Все три были синего цвета! Между этими светофильтрами было лишь едва уловимое различие по плотности. А на экране получилось изображение, весьма близкое к оригиналу. То есть это была картина Ван Гога в жёлтых, оранжевых, красных, коричневых, зелёных и сине-голубых тонах. Присутствовали почти все цвета спектра…
Известные учёные тщетно пытались объяснить этот экспериментально обнаруженный феномен цветного зрения. В глаз попадают лучи практически одного спектрального состава, а он сам воссоздаёт цветовое многообразие. Явно мы имеем дело с парадоксом, опровергающим принятое представление о работе глаза.
ВОПРОС № 99
Какого цвета будет казаться красная жидкость, если сосуд с ней поместить внутрь другого сосуда с синей жидкостью? И почему? (Капица, 1998, № 172)
Ограничение и противоречие
Техническое ограничение
Техническое ограничение — условие (или комплекс условий), которое ограничивает развитие технической системы.
В процессе развития технические системы (как и системы вообще) сталкиваются с различными факторами, ограничивающими возможности решения ими новых всё более сложных задач. Например, прочность материала, из которого изготавливают режущий инструмент, является ограничивающим фактором для обработки всё более твёрдых объектов и создания новых инструментов.