Между этой задачей и текстовой машиной Шеннона действительно большая разница. Представьте, что у Шеннона огромная библиотека и он пытается с помощью этого метода составить английские предложения, начиная с тех пятисот слов, которые вы только что прочитали. Он просматривает книги до тех пор, пока не найдет ту, где эти слова расположены в точно таком же порядке, чтобы он мог записать следующее слово. Конечно же, он этих слов не находит! Никто (надеюсь!) никогда не написал эти пятьсот слов так, как только что сделал я. Поэтому метод Шеннона потерпит неудачу на первом же шаге. Это равнозначно попытке найти следующую букву после буквосочетания XZ. На его полке просто может не оказаться книги с такой биграммой. Тогда он пожимает плечами и сдается? Давайте припишем Клоду больше целеустремленности! Например, можно сказать, что мы раньше никогда не встречали XZ, но, возможно, видели биграммы, в каком-то смысле похожие на XZ? Тогда можно взять буквы, которые следовали за этими биграммами. Как только мы начинаем размышлять подобным образом, мы выносим суждения о том, какие последовательности букв «близки» к другим последовательностям, а это означает, что мы думаем о геометрии последовательностей букв. Непонятно, какую «близость» нам следует подразумевать, и проблема усложняется еще больше, когда мы говорим о фрагменте текста из пятисот слов. Что значит один фрагмент близок к другому? Это геометрия языка? Или стиля? И как компьютер должен это понимать? Мы еще вернемся к этому вопросу. Но сначала познакомимся с величайшим в мире игроком в шашки.
Глава 5. «Его стиль – непобедимость»
Величайший чемпион в истории человечества в своей области – лучше, чем Серена Уильямс в теннисе, Бейб Рут в хоумранах[172]
, Агата Кристи в написании бестселлеров и Бейонсе в проведении зрелищных концертов, – был кротким профессором математики и изредка проповедником, который жил со своей престарелой матерью с Таллахасси (штат Флорида). Его звали Марион Тинсли, и он играл в английские шашки[173], причем так, как никто не играл до него и не будет играть после.Тинсли вырос в Колумбусе, где научился играть в шашки у квартирантки, жившей в их доме, – некоей миссис Кершоу, которая радовалась своему превосходству над мальчиком. «О, как она гоготала[174]
, перепрыгивая через мои шашки», – вспоминал Тинсли. Подростку повезло, что неподалеку, в Толедо, жил тогдашний чемпион мира Эйса Лонг. Начиная с 1944 года[175] Тинсли изучал шашки с Лонгом по выходным, а через два года, в девятнадцать, стал вторым на чемпионате США (хотя так никогда и не обыграл миссис Кершоу, переехавшую много лет назад). Он выиграл чемпионат США в 1954 году, уже будучи аспирантом, изучавшим математику в Университете штата Огайо. В следующем году он стал чемпионом мира – титул, который он будет время от времени подтверждать в течение следующих сорока лет, поскольку периодически брал перерывы в игре. В 1958 году он защитил свой титул в матче против Дерека Олдбери из Великобритании: 9 побед, 24 ничьи, 1 поражение. Еще один матч за шашечную корону он выиграл в 1985 году, обыграв своего наставника Эйсу Лонга: 6 побед, 28 ничьих, 1 поражение, а в 1975-м проиграл[176] одну игру Эверетту Фуллеру в победном для себя турнире Florida Open.С 1951 по 1990 год Тинсли сыграл больше тысячи турнирных партий против величайших игроков в английские шашки и проиграл всего три[177]
.У него не было запугивающих манер, он не издевался, не насмехался и не куражился над оппонентами. Он просто выигрывал, выигрывал и выигрывал. Берк Гранжан, секретарь Американской федерации шашек, сказал: «Его стиль – непобедимость»[178]
. В интервью перед матчем в Лондоне в 1992 году Тинсли объяснял: «У меня просто нет стресса и напряжения[179], поскольку я чувствую, что не могу проиграть».Но он проиграл. Вы уже поняли, к чему все идет, верно? Тинсли выиграл матч в 1992 году, но в итоге был свергнут с престола своим лондонским оппонентом – единственным, кто был лучше величайшего в истории игрока в английские шашки. Это была компьютерная программа «Чинук» (Chinook), разработанная в Альбертском университете под руководством специалиста по теории игр Джонатана Шеффера, и сейчас, когда вы читаете эту книгу, она – чемпион мира по английским шашкам. Конечно, я не знаю, когда именно вы будете ее читать, но уверен в своем утверждении, потому что «Чинук» сохранит титул чемпиона до скончания времен. Марион Тинсли чувствовал, что не может проиграть. Для «Чинука» это не просто чувство. Он не может проиграть. Это доказано математически. Игра окончена.
Тинсли и «Чинук» уже сталкивались раньше. В 1990 году они играли выставочный матч в Эдмонтоне из четырнадцати партий. Тринадцать партий матча закончились вничью, но один раз на десятом ходу программа допустила ошибку. «Ты пожалеешь об этом», – сказал Тинсли, увидев ход. Однако машине потребовалось[180]
еще 23 хода, чтобы понять свою ошибку и сдать партию[181].