Когда Радикс просмотрел таблички Илюши, он отнесся к ним с одобрением и сказал:
— Если ты понял, как решаются подобного рода задачи, могу тебе предложить еще две задачки в том же роде. Вот они:
I. В читальном зале главной научной библиотеки ВОЛШЕБНОГО ДВУРОГА за квадратным столом, стороны которого были расположены по странам света, работали четверо ученых: математик, физик, филолог и историк.
Каждый из них в своем спортивном клубе был чемпионом: один по плаванию, другой по теннису, третий по шахматам и четвертый по конькам.
При этом:
а) когда случайно погас свет, то сидевший с северной стороны отказался проверять пробки, так как он боялся удара током;
б) математик сидел против чемпиона по теннису, а историк против чемпиона по шахматам;
и) сидевший с западной стороны утверждал, что
г) чемпион по теннису уверял физика, что битва при Калке произошла в 1322 году;
д) чемпион по плаванию сидел по правую руку историка.
— 166 —
Кто где сидел и кто каким видом спорта занимался?
II. У каждого из пяти офицеров, имена которых начинались буквами А, Б, В, Г и Д и которые по чинам были полковник, майор, капитан, старший лейтенант и младший лейтенант, среди четырех остальных было два ближайших друга.
Один из друзей офицера В был выше его по чину. Старший лейтенант никогда не бывал в Крыму. Оба друга Б и оба друга Г воевали на территории Германии, однако друзья полковника в Германии совсем не были. Офицер Г воевал на Северном Кавказе вместе с обоими своими друзьями, а младший лейтенант там не бывал. Майор служил на Дальнем Востоке с обоими своими друзьями, а офицер Г был тоже на Дальнем Востоке, но только с одним из своих друзей. Полковник вместе с обоими друзьями воевал в Крыму, но не был на Дальнем Востоке. Д не бывал ни в Крыму, ни на Северном Кавказе. Разбери-ка: кто чей друг и кто какой имеет чин?
— Хорошо, — сказал Илюша, — постараюсь решить. Но скажи мне, пожалуйста, какие это задачи? Ведь это же но алгебра?
— Нет, это наша математическая логика.
— Мне казалось, что до сих пор я понимал, что такое логика; это чтобы рассуждать основательно и разумно… А что такое эта твоя математическая логика? Какая разница с обыкновенной?
— Разница в том, что математическая логика представляет собой некоторый род исчисления. Это своего рода алгебра, у которой имеются собственные правила, которые и точнее и шире правил обыкновенной логики[15]. Многое в силу ее алгебраичности может быть превращено в ряд обыкновенных вычислительных правил. Поэтому современные электронно-счетные машины получили возможность доказывать, например, теоремы.
— И трудные теоремы?
— Да, не легенькие…
— Все это очень странно! — сказал Илюша. — Неужели можно поверить, что машина может думать?
— Трудно ответить, конечно, на этот вопрос. Думать, как человек, машина, возможно, и не может, но решать задачи, над которыми человек размышляет иной раз очень долго и это ему нелегко дается — вот это она может. Конечно, не
— 167 —
всякие задачи, но некоторые удается. И совсем неплохо! Ты, кажется, ничего не имеешь против шахмат?
— Решительно ничего!
— Тогда позволь показать тебе одну позицию на шахматной доске, которая была предложена электронно-счетной машине. Смотри:
Белые: Kpg1, Фd1, Ла1 и е2, Ch6, Kh5, а2, b2, сЗ, f2, g2, h2.
Черные: Kpg8, Фf5, Лd8 и h8, Kf7, a7, b7, b4, c7, c4, d3, h7. В этой позиции белые начинают и дают мат в три хода. Попробуй найди-ка решение! А когда найдешь, сам увидишь, что в легкой партии можно не только его не найти, а даже и прозевать эту победу. А потом скажи мне, надо думать, чтобы решить эту задачу, или нет? Машина решила эту задачу мигом.
— Так-то оно так, — задумчиво вымолвил мальчик, рассмотрев шахматную диаграмму, — а все-таки это очень похоже на трехходовую задачу, которой только нарочно придана видимость живой партии… То есть мне так кажется. Потому что черный король стоит в пату — никуда двинуться не может, — и белым надо только отвести черного ферзя с того места, где он защищает поле f6… Вот они это и делают в два хода. Но все-таки интересно! Если разобрать как следует, то этот пример не очень убедителен… А вот насчет доказательства трудных теорем — другое дело!
— Почитай специальные книжки, — ответил Радикс, — в двух словах это все рассказать нельзя, потому что эта логика довольно своеобразная и нелегкая наука. Могу привести еще один хороший пример. Как будто у твоего папеньки стоит на письменном столе электрическая лампа? Скажи, пожалуйста, как она зажигается?
— У лампы в цоколе, — отвечал мальчик, — есть такая кнопочка. Нажал — лампа зажглась, нажал еще раз — потухла.
— Так-с, — ответствовал Радикс, — давай попробуем все это выразить на языке нашей логики. Пусть зажженная лампа обозначается единицей, потухшая — нулем. А эту операцию нажатия кнопки мы будем тоже именовать единицей. Разумеется, ничего иного под этими символами теперь понимать нельзя.
Но если мы так условились, то будет справедливо равенство: (1 + 1 = 0), ибо если ты дважды нажал кнопку, то лампа гореть
— 168 —
не будет. И вообще всякая сумма четного числа единиц будет равна нулю, а нечетного — единице. Например, если ты нажал кнопку три раза подряд, то (1 + 1 + 1 = 1), то есть лампа будет гореть. Единица в левой части равенства — это нечто вроде отрицания «не»: нуль в правой части говорит, что ничего не изменилось. Если лампа не включена, то, прибавляя «не», получаем «не не включена», то есть включена, и наоборот.
— Вот как… — недоуменно пробормотал Илюша.
— И представь себе, что такого рода равенства ныне имеют немалое значение для замечательных современных электронно-счетных машин.
— 169 —
замечательная как своей непревзойденной краткостью, так и весьма скромными размерами сообщаемых ею фактов, на один из коих потребовалось всего-навсего: одна странная вещица, которую Илюша второпях принимает за бильярд, три шахматные доски, одно маковое зернышко, восемьдесят квадриллионов нулей и очень миленькая девушка, некая Альфа Ц. (известная тем, что когда бы на нее ни поглядели, всегда кажется, что она на пять лет моложе того, что есть на самом деле), после чего читатель узнает кое-что о славе Архимедовой, которой не были страшны долгие века, и об одной отважной путешественнице.
Радикс опустил свой длинный нос пониже и довольно лукаво посмотрел на Илюшу. Тому после испанской задачки ничего другого не оставалось, как сделать вид, что он этого не замечает.
— Нет, — сказал мальчик, — ты мне все-таки лучше про Бриарея…
— Про Бриарея рассказ будет не очень длинный. Бриарей был, по древнему греческому мифу, одним из детей Урана — неба и Геи — земли, от которых родились титаны, гекатонхойры (что значит сторукие) и одноглазые циклопы. С одним из этих последних встретился Одиссей, как ты, вероятно, знаешь (а не знаешь, так возьми «Одиссею» в переводе Жу-
— 170 —
ковского и узнаешь). Бриарей и был одним из гекатонхейров, которые в мифах олицетворяли грозные силы разбушевавшейся морской стихии. Титаны олицетворяли собой первобытные силы природы в их совокупности, а циклопы — явления небесной грозы: гром, молнию и заодно уж извержения вулканов и землетрясения. Все эти титаны были до того страшны, что собственный отец заточил их в Тартар. А потом, когда титаны восстали против Зевса, он победил их с помощью гекатонхейров и циклопов. Миф этот связан с осадой Сиракуз римлянами, потому что Марцелл, предводитель римского войска, однажды сказал, объясняя своим воинам причины неудачных штурмов Сиракуз, что победить Архимеда, «этого Бриарея геометрии», почти невозможно. Вот поэтому-то мы иногда здесь о нем и вспоминаем.
— Значит, — сказал Илюша, — Бриарей был великан?
— В этом роде, — отвечал Радикс. — Но мы здесь видали и не таких великанов.
— Это ты про Великую Теорему?
— Нет. Есть великаны и попроще, но такого удивительного роста, что невольно диву даешься. Мы с тобой сейчас говорили о мифах. Эти прекрасные, поистине высокопоэтические создания народного гения сохранили нам не только образы древнего искусства, но и замечательные мысли. Возможно, мы снова вспомним нашего сиракузского Бриарея. Люди с давних времен всегда интересовались большими числами. В трудах индийских математиков, поскольку они отразились в легендах и поэмах древней Индии, мы встречаем не просто упоминания о больших числах, но суждения о том, как их строит мысль человеческая, какие числовые громады можно построить, исходя из довольно простых принципов. Так, в одной из древнейших книг Индии рассказывается, каким образом могут быть уложены камни при постройке некоей стереометрической фигуры. Счет начинается с десяти тысяч, затем это число последовательно увеличивается путем умножения его на десять, и девятое число из этого ряда уже довольно велико: десять в двенадцатой степени. Мы теперь называем его триллионом — это миллион миллионов. Чтобы как-нибудь представить себе эту «крошку», вспомним вот о чем. Самая близкая к нам звезда, не принадлежащая к нашей Солнечной системе, называется Альфа Центавра. Ты, наверное, знаешь, что обычно отдельные звезды созвездия называются греческими буквами. Так вот, Альфа Центавра находится от нас на расстоянии сорока триллионов километров. Свет в одну секунду пролетает триста тысяч километров. В году свыше тридцати миллионов секунд; следовательно, свет этой звезды должен идти к нам примерно четыре с половиной года. Довольно долго, не прав-
