Капуста, неверные мужья и зебра. Загадки и головоломки для развития критического мышления | страница 14
Если вам понравилась эта головоломка, вы по достоинству оцените гениальность следующей задачи, ломающей мозг. Придуманная молодым логиком из Кембриджа Максом Ньюманом, она была опубликована в колонке Хьюберта Филлипса в журнале New Statesman в 1933 году. Филлипс подписывал свою колонку псевдонимом Калибан, по имени порабощенного дикаря из пьесы Шекспира «Буря». Многие задачи Калибана были созданы в сотрудничестве с профессиональными математиками, и представленная ниже, пожалуй, самая блестящая.
Эта головоломка – творение гения. На первый взгляд, информации, по условиям задачи, до смешного мало, но, разумеется, в ней есть все необходимое для поиска решения. Журнал Mathematical Gazette назвал головоломку Ньюмана «настоящей жемчужиной» и уверял: «Чтобы в нее поверить, нужно ее решить». Мне решение далось нелегко, но это не помешало восхищаться его исключительной элегантностью.
Завещание Калибана содержало следующий пункт: «Я завещаю по десять своих книг Лоу, Y.Y.[8] и Критику. Пусть они выбирают их в таком порядке.
1. Те, кто видел меня в зеленом галстуке, не могут выбирать раньше Лоу.
2. Если Y.Y. не был в Оксфорде в 1920 году, то выбирающий первым никогда не давал мне взаймы зонтик.
3. Если вторым выбирает Y.Y. или Критик, то Критик выбирает раньше того, кто влюбился первым».
К сожалению, Лоу, Y.Y. и Критику не удалось вспомнить ни одного из названных фактов, но поверенный обратил внимание на то, что если головоломка составлена правильно (то есть в ней нет утверждений, не имеющих отношения к решению), то можно логически вывести очередность выбора.
В каком порядке должны выбирать книги Лоу, Y.Y. и Критик?
Лоу, Y.Y. и Критик были коллегами Филлипса в New Statesman, но этот факт вряд ли поможет в решении задачи. Важно, что каждое ее условие имеет отношение к решению головоломки, поэтому вы должны исключить все условия, в которых любая часть любого утверждения избыточна. Впоследствии выдающиеся способности Макса Ньюмана к постановке задач нашли более серьезное применение в области их решения. В годы Второй мировой войны он возглавил отделение дешифровки (Newmanry) в Блетчли-парке, что привело к созданию «Колосса» – первой в мире программируемой электронной вычислительной машины. Ньюман был коллегой и близким другом Алана Тьюринга, отца теоретической компьютерной науки. Именно лекции Ньюмана в Кембридже вдохновили Алана Тьюринга на написание знаковой статьи «О вычислимых числах» (On Computable Numbers). После войны Ньюман организовал в Манчестере вычислительную лабораторию Лондонского королевского общества и уговорил Тьюринга присоединиться к нему.
