Из личного архива Патрика Веррона

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

В эпизоде «Узник Бенды» это доказательство представляют «Милейший» Клайд Диксон и Итан «Баблгам» Тейт, два баскетболиста с планеты Мир Глобтроттеров, которые известны также своими способностями к математике и другим точным наукам. На самом деле Баблгам Тейт – старший преподаватель физики в Глобтроттерском университете и профессор прикладной физики в Марсианском университете. Оба персонажа появляются в нескольких эпизодах «Футурамы» и постоянно демонстрируют свои математические таланты. Например, в полнометражном мультфильме «Большой куш Бендера» Баблгам Тейт дает Милейшему Клайду совет по поводу решения уравнения, описывающего путешествия во времени: «Милейший Клайд, используй вариации переменных и выполни разложение детерминанта Вронского».

Когда эпизод «Узник Бендера» приближается к развязке, Милейший Клайд пишет доказательство на зеленой флуоресцентной доске, а затем заявляет: «В принципе не важно, насколько переставлены ваши разумы; они могут быть возвращены с помощью максимум двух дополнительных игроков».

Теорема Футурамы, записанная на доске Милейшим Клайдом в конце эпизода «Узник Бенды». Баблгам Тейт внимательно изучает детали доказательства, тогда как Бендер (в теле которого находится разум профессора Фарнсворта) восхищенно смотрит на доску. Расшифровку представленного на доске доказательства можно найти в .

FUTURAMA © 2002 Twentieth Century Fox Television. Все права защищены

Лучший способ понять доказательство, сформулированное в специальных терминах, – сфокусироваться на том, как оно может помочь героям эпизода «Узник Бендера» найти выход из трудного положения, в которое они попали. Фактически это доказательство описывает хорошо продуманную стратегию устранения путаницы, которая начинается с осознания того, что всех людей, обменявшихся разумами, можно отнести к однозначно определенным множествам; в случае «Узника Бенды» таких множеств два. Тщательный анализ диаграммы Сили позволяет сделать вывод, что в первое множество входят Фрай и Зойдберг. Это становится понятно по двум нижним строкам диаграммы, которые говорят о том, что разум Фрая находится в теле Зойдберга, а разум Зойдберга – в теле Фрая. Данную совокупность можно считать множеством, поскольку мы видим, что для каждого тела есть разум, и единственная проблема состоит в том, что эти тела и разумы перепутаны.

Во второе множество входят все остальные персонажи. Диаграмма Сили показывает, что разум профессора оказался в теле Бендера, разум Бендера – в теле Императора, разум Императора – в теле Ведра, разум Ведра – в теле Эми, разум Эми – в теле Гермеса, разум Гермеса – в теле Лилы, а разум Лилы – в теле профессора, что замыкает множество.