Инженерная эвристика

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

ВОПРОС № 96

Миссионер очутился у людоедов и попал как раз к обеду. Дикари разрешают ему выбрать, в каком виде его съедят. Для этого миссионер должен произнести какое-либо высказывание, с условием, что, если оно окажется истинным, его сварят, а если оно окажется ложным, его зажарят. Что следует сказать миссионеру?

Математические парадоксы

Вернёмся к апории «Ахиллес и черепаха», ведь она имеет непосредственное отношение к математике:

«В классическом курсе логики, написанном Вильямом Минто, прославленный бегун легко опережает свою недостойную соперницу, хотя дает ей фору не только в расстоянии — 100 саженей (здесь употреблены старинные русские, а не древнегреческие меры длины, однако это не имеет значения), но и в скорости: он двигается не в полную силу — всего в десять раз резвее черепахи. То есть, по существу, шагает себе не торопясь, уверенный в победе. Правда, добравшись до места, откуда тронулась в путь-дорогу нерасторопная ставленница Зенона, Пелеев сын увидит, что та успела переползти еще на 10 саженей вперед. Пока Ахилл преодолеет эти 10 саженей, черепаха уйдет еще на сажень. Что ж, быстроногому ничего не стоит покрыть какую-то там сажень. А неуклюжая тем временем переместится — пусть на одну десятую сажени, но все-таки вперед, прочь от преследователя! С каждым шагом расстояние сокращается. Таких шагов будет, очевидно, бесчисленное множество. Не беда: современная математика научилась суммировать бесконечные последовательности. И Минто строит бесконечный ряд: 100 + 10 + 1 + 0,1 + 0,01 + 0,001 +… Перед нами убывающая геометрическая прогрессия. Её сумму запросто подсчитает любой теперешний школьник, если, конечно, он уже прошел алгебру по учебнику, кажется, для восьмого класса; эта сумма равна 111 1/9. Проделав нехитрый подсчет, Минто заключает: „Софист хочет доказать, что Ахилл никогда не догонит черепаху, а на самом деле доказывает лишь то, что Ахилл перегоняет её между 111-й и 112-й саженями на их пути“. Вроде бы правильно. Вроде бы логично. Увы, торжествующий опровергатель не ответил посрамленному софисту, ибо вопрос ставился иначе: не когда, а как возможна подобная встреча…» (Бобров, 1966).

Для того чтобы решить фундаментальную задачу, необходимо, как говорится, «докопаться до сути». Именно, «докапывание до сути» и приводит к парадоксам и противоречиям. А затем парадокс или противоречие необходимо разрешить (снять). Так что есть две половинки пути: формулировка противоречия и его разрешение.

Предлагаем ещё один, уже не такой старый парадокс, как в случае с лжецом, — парадокс вероятности.

Парадокс вероятности (обсуждение на семинаре «Междисциплинарные исследования»)

С. Ёлкин. Если представить мысленный эксперимент с бросанием точки на плоскость, то исходным постулатом является то, что вероятность попасть в какую-либо конкретную точку плоскости равна нулю (невозможное событие). Но при этом вероятность, что точка попадёт на плоскость, равна единице (достоверное событие). То есть, в конце концов, реализуется одно из невозможных событий.

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

А насчёт парадокса вероятности, то тут, думаю, не всё так безнадёжно, как кажется. Плоскость по отношению к точкам — это ведь их целое, которое не сводится к ним и не состоит из них. Поэтому не надо их ставить «на одну доску». Попасть абсолютно точно в часть невозможно, а в целое — запросто, потому как оно везде.

С. Ёлкин. Неясно, почему «невозможно абсолютно точно попасть в часть»? Добавлю, так, «про между прочим», что этот парадокс послужил одной из тех причин, по которой великий Давид Гильберт сформулировал проблему создания аксиоматической теории вероятности и включил её в число выдающихся проблем математики на том самом выдающемся конгрессе математиков [89] . Проблема эта была разрешена только более 30 лет спустя другим великим математиком — А. Н. Колмогоровым [90] .

89

Проблемы Гильберта — список из 23 кардинальных проблем математики, представленный Давидом Гильбертом на II Международном Конгрессе математиков в Париже в 1900 году. Конечно, это была не главная причина. Главной причиной было желание сделать теорию вероятности математической дисциплиной, так как в то время она считалась отраслью естествознания.

90

Аксиоматика Колмогорова — общепринятый аксиоматический подход к математическому описанию события и вероятности; предложен Андреем Николаевичем Колмогоровым в 1929 г., окончательно в 1933 г.; придал теории вероятностей стиль, принятый в современной математике.

В. Ковалёв. Во-первых, я никак не могу взять в толк, как можно попасть в то, что не имеет размеров, то есть в точку. Во-вторых, точность — это идеализация, химера нашего ума, а в реальном мире ничто не может абсолютно точно совпасть друг с другом, ничто не может абсолютно заменить другое. В-третьих, не надо путать математику с логикой, а логику формальную (математическую) с диалектической, то есть рассудок с разумом. Математика — предел формализации как таковой, то есть рассудок чистейшей воды, который умеет только разделять, фиксировать и связывать внешней связью эти выделенные им неподвижности. Созданная математикой абстракция точки, то есть дискретности как таковой, у которой единственное свойство — отсутствие свойств, — ярчайший пример голого рассудка. Плоскость же по отношению к точке есть её прямая противоположность, то есть континуум, непрерывность как таковая. Математика — это только фиксация их различия и ничего более. А в чём состоит их тождество, она не знает, это уже вопрос философии, которая на что-нибудь да может-таки сгодиться. Наше сознание в любом процессе познания то проваливается в голую математику, то поднимется на уровень философии, и только так, пульсируя, оно может получить действительное знание.

А. Трушечкин [91] . Общепринятый ответ на этот парадокс — что «невероятное» не означает «невозможное». Невероятное событие — вероятность которого равна нулю, невозможное — которое не может произойти. На это можно возразить: «Как же? Согласно исходным идеям теории вероятностей, если вероятность равна нулю, то событие и есть невозможное!»

Тогда тут, пожалуй, можно разобрать подробнее, как мы делаем вывод о том, что вероятность попадания в точку равно нулю. Здесь речь идёт о геометрической вероятности. Предположим для простоты, что мишень ограниченна: например, это круг единичной площади, и мы стреляем по нему безразмерными пулями. Тогда вероятность попадания в произвольную область этого круга равна площади этой области. Площадь точки равна нулю. Почему? Ответ: по определению (из теории меры) множество имеет площадь ноль, если его можно накрыть множеством сколь угодно малой площади. Для точки можно это сделать. Например, рассмотреть последовательность маленьких кружков с центрами в этой точке и радиусами, стремящимися к нулю. Вероятность попадания в кружок с уменьшением его радиуса уменьшается, но не ноль. То есть множество нулевой площади определяется не непосредственно, а как бы итеративно, путём приближения множествами уменьшающейся площади. Поэтому и утверждение о том, что вероятность попадания в точку равна нулю, можно воспринимать так же: здесь не чистый ноль, а бесконечно малая последовательность чисел. Попасть в точку можно, но вероятность исчезающе мала.

91

А. С. Трушечкин, доцент кафедры № 28 (Системный анализ) НИЯУ МИФИ.

Таким образом, в этих рассуждениях всплывает на поверхность то, что точка — это идеализация очень маленького множества (конец обсуждения)

Так что, любезный наш читатель, зря старался А. Н. Колмогоров?

ВОПРОС № 97

Парадокс неожиданности. Однажды в воскресенье начальник тюрьмы вызвал преступника, приговорённого к казни, и сообщил ему: «Вас казнят на следующей неделе в полдень. День казни станет для вас сюрпризом, вы узнаете о нём только когда палач в полдень войдёт к вам в камеру». Начальник тюрьмы был честнейшим человеком и никогда не врал. Заключённый подумал над его словами и улыбнулся: «Вы не сможете казнить меня, если хотите выполнить свои обещания!»

Тем не менее, начальник тюрьмы выполнил свои обещания, и узник был казнён неожиданно для него, как и было обещано! Как это возможно?

Парадоксы теории множеств

«Никто не может изгнать нас из рая, созданного нам Кантором!» — заявил Давид Гильберт по поводу теории множеств Георга Кантора. Таково было чувство восторга от новой «игрушки» у математиков того времени. В 1873 году Кантор ввел понятие множества. Первоначально новая теория помогла решить ряд проблем. Однако очень скоро в ней обнаружились противоречия.

Первое противоречие возникло благодаря введению и анализу самого большого множества из всех: множества всех множеств. Простейший вопрос «Существует ли множество всех множеств?» тут же приводит к парадоксу. Для этого надо напомнить, что в теории множеств разрешима процедура включения одного множества в состав другого или «взятие множества от множества». (Это вам ничего не напоминает? Правильно — вездесущую рекурсию!)

Можно включать какие угодно множества в состав одного — их объединяющего, до тех пор пока все множества не исчерпаются. Тогда мы получим сверхмножество, которое включает в себя все остальные множества. Все! Но не все! Само сверхмножество (множество всех множеств) оказалось не включённым! Ведь его вначале не было, а теперь оно появилось. Ну что же, включим теперь и его. Но тогда появляется новое сверхмножество, которого только что ещё не было. Тогда и его включим, и так до бесконечности! То есть множество всех множеств и существует, и не существует одновременно!

Причиной парадокса является возможность быть множеству элементом самого себя. Можно конечно ограничить эту возможность, но тогда исчезнут многие очень полезные возможности теории множеств. Лучше локализовать проблему, и для этого разделить все множества на два типа, те, которые содержат себя в качестве своего элемента, и те, которые не содержат..

В 1901 году Бертран Рассел в письме коллеге изложил мысль, которая в популярной форме известна как «Парадокс брадобрея»: «В одной военной части был брадобрей. Ему было разрешено под угрозой смертной казни брить только тех военнослужащих, которые не бреются сами. Но вот беда — сам брадобрей тоже был на службе. Мог ли он в таком случае побриться сам?»