Принцесса или тигр   ::   Смаллиан Рэймонд

Наконец, если теперь принять А, В и С за операционные числа и положить X = AV, Y = BW и Z = CU, то мы получим, что число X порождает A(Y), число У порождает B(Z), а число Z порождает С(Х). Таким образом, мы нашли еще один способ решения данной задачи.



Остановимся, попробуем обобщить!



Два дня спустя полицейское начальство из Скотланд-Ярда внезапно и совершенно неожиданно для Крейга срочно откомандировало его в Норвегию для расследования, хотя и интересного, но нас не касающегося. Поэтому я воспользуюсь отсутствием Крейга, чтобы поделиться с вами кое-какими собственными соображениями по поводу числовых машин Мак-Каллоха. Те же читатели, которым не терпится узнать решение загадки сейфа из Монте-Карло, могут отложить чтение этой главы на потом.

Математики обожают обобщать! Сплошь и рядом случается так: некий математик по имени X доказывает новую теорему и публикует доказательство в научном журнале. Потом проходит полгода и появляется другой математик, Y, который вдруг заявляет: «Ну ладно, неплохую теоремку доказал этот X, однако я могу доказать гораздо более общий случай!» И тут же печатает статью под названием «Об одном обобщении георемы Х-а». Или же Y оказывается похитрее и поступает следующим образом: сначала он втайне обобщает теорему, доказанную Х-м, а потом исследует какой-нибудь частный случай своего обобщения.