Германия (услышав). Нихуя себе! (в сторону) Австро-Венгрия, ты со мной?
Австро-Венгрия. Конечно. Колоний много не бывает. Эй, Италия, третьей будешь?
Италия (неохотно). Возможно.
Германия (обнимая Италию). Отлично! А наш союз мы назовём… (быстро пересчитывает участников) …Тройственным союзом!
Франция (иронично). Какой полёт фантазии. (в сторону) Британия, тебя бить тоже будут. Не выёбывайся.
Британия (вздыхая). Только придумай название поприличнее.
(Британия, Франция и Россия заключают союз «Антанта» — «Согласие»)
Люксембург (зажатый между Германией и Францией). Меня терзают смутные сомнения…

Акт второй. 1914-1915 годы.

(В Австро-Венгрии убивают принца Франца-Фердинанда)
Австро-Венгрия (радостно). Так, все видели? Сербы убили моего принца!
Сербия (в панике). Отъебись, животное! Это не я!
Австро-Венгрия (вводя войска в Сербию). Потом разберёмся.
Россия (начиная мобилизацию). Да ты охуела!
Германия (высокомерно). Эй, Россия, остынь.
Россия (не прекращая мобилизацию). Да пошла ты нахуй.
Германия. Да ты охуела!
(Германия объявляет войну России)
Франция (хватаясь за голову). Остановитесь!
Германия (оборачиваясь). Кто там квакает?
Франция (нервно). Я.
Германия (закатывая рукава). Так, Люксембург, подвинься, я ей сейчас въебу.
Люксембург (безуспешно пытаясь отползти от Германии) Блядь! (тараторит) Мы, Великое Герцогство Люксембург, официально заявляем о своём нейтралитете и… Ай!
Германия (вводя войска в Люксембург). Что-что?
Люксембург (обречённо). Ничего. Молчу.
Бельгия (наблюдая за Германией). Британия, нам нужно срочно поговорить!
Британия (оборачиваясь и недоумённо водя глазами по карте). Позвольте, я готова поклясться, что раньше тут был Люксембург!
Германия (вводя войска в Бельгию). Ты ещё скажи, что тут Бельгия раньше была.
Британия (поправляя пенсне). Германия, я объявляю тебе войну. Дерись, свинья.
(Австро-Венгрия нападает на Россию)
Россия (недоуменно). Ах ты залупа. (отбивается)
Германия (раздражённо). Шайсе! Италия, ты собираешься воевать или нет?
Италия (притворяется глухой). Кто здесь?
Германия (в ярости). Ты же обещала!
Италия (шёпотом). Пошла нахуй.
(Италия договаривается с Антантой и нападает на Австро-Венгрию)
Австро-Венгрия (отбиваясь от Италии, Сербии и России). Блядь!
Сан-Марино. Слышь, Австро-Венгрия.
Австро-Венгрия (вертит головой). Что за блядский писк?
Сан-Марино. Я отправляю против тебя добровольцев. Ты готова к мучительному поражению?
Австро-Венгрия (пытаясь определить источник звука). Мыши завелись, не иначе.
Сан-Марино (уверенно). Пизда тебе, готовься. Солдаты! К бою!
(Сан-Марино отправляет 20 солдат на помощь Италии)
Италия (с сарказмом). Ну теперь-то победа у меня в кармане.
Сан-Марино (с легким пафосом). Не благодари.
Швейцария. Кхм.
Все страны мира (хором). Да-да?
Швейцария (веско). Надеюсь, никто из вас...
Все страны мира (непроизвольно кланяясь). Конечно, конечно, мы никогда… Мы и не думали…
Швейцария (делая небрежный жест). Можете продолжать.
Британия (громким шёпотом). Пс-с-ст, Австралия…
Австралия (играясь с кенгурёнком). А?
Британия (корча страшные рожи и указывая взглядом на Японию). Займись, пожалуйста, делом.
Австралия (откладывая кенгурёнка, шёпотом). Заебала. (в сторону) Эй, Япония, чем занимаешься?
Япония (наблюдая за войной в Европе). Да так, ничем, телек смотрю.
Австралия (с наигранным энтузиазмом). Может, куда-нибудь сходим?
Япония (безразлично). Давай.
Австралия (радостно хлопая в ладоши). Ой, как здорово! Я с собой подружку возьму, ты не против?
Япония. Бери.
Австралия. Зеландия, собирайся, мы идём гулять.
(Япония, Австралия и Новая Зеландия захватывают германские колонии на Тихом океане)
Германия (хватаясь за голову). Блядь! Турция!
Турция. Чего тебе?
Германия. Давай повоюем с Россией. За это после войны я тебе отдам…
Турция (перебивая). Россия! Я объявляю тебе джихад! И тебе, Франция! И тебе, Британия! И ещё Японии! И…
Германия (удивлённо). Ёбнутая.
Россия (отбиваясь от Турции, Германии и Австро-Венгрии). Да какого хуя! Болгария, не хочешь помочь?
Болгария (с наигранным безразличием). А что мне за это будет?
Россия (ласково). А что ты хочешь?
Болгария (задумчиво). Кусочек Сербии, кусочек Греции и на десерт — кусочек Румынии.
Сербия, Греция и Румыния (хором). Ну охуеть теперь.
Россия (мягко). Болгария, мне кажется, что это перебор. Давай поговорим.
Британия (издалека). Залупу ей, а не Грецию!
Болгария (в ярости). Ах, залупу?
(Болгария объявляет войну странам Антанты)
Россия. Блядь! Британия!..
Британия (пожимая плечами). Ну, погорячилась.
(Германия и Австро-Венгрия наносят удар по российским войскам в Польше и Западной Украине, начинается Великое отступление российской армии).
Россия. Блядь!

Акт третий. 1916-1918 годы.

Британия (усиливая натиск на Германию). Эй, США, как насчёт повоевать?
США (с интересом глядя на события в Европе). Обожди чутка.
Британия (тихо). Залупа полосатая.
Россия (тесня турков и немцев). Румыния, как насчёт союза?
Румыния (задумчиво). Вроде победитель уже определился. (громко) Россия, я с тобой. Вот список земель. Отдашь их мне после побе… Блядь!
(Германия, Австро-Венгрия и Болгария захватывают Румынию)
Россия (хватаясь за голову). Охуеть союзничек.
Германия (шепотом). Эй, Мексика, как насчёт Техаса?
Мексика (не без интереса). А что с Техасом?
Германия (ещё тише). Если США поддержит Британию, ты нападешь на США и заберёшь у неё Техас.
Мексика (теряя интерес). Германия, ты ебанулась.
Британия (подслушивая). Эй, США, Германия хочет натравить на тебя Мексику!
США (удивлённо). Охуеть. (нападая на Германию) Ты довыёбывалась, милочка.
Германия (в панике). Блядь!
(К войне на стороне Антанты подключаются по очереди Португалия, Греция и Бразилия)
Гондурас (издалека). Германия, я тоже объявляю тебе войну!
Германия (устало). Ты-то, блядь, куда полез?
Гондурас (не приближаясь). Отсоси!
Исландия (вырываясь из объятий Дании). Дания, отпусти меня, я их уебу!
Дания (поглаживая Исландию). Тише, тише, маленькая.
Швейцария (отвлекаясь от пересчёта денег). Блядский цирк.
Россия. Кхм-кхм.
Британия (не глядя). Россия, что у тебя с голосом? (оборачиваясь) Блядь! Где царь?
Россия (почёсываясь). Закончился. Мы теперь республика. Командует Временное правительство.
Британия (подозрительно) А чего это ты чешешься?
Россия (почёсываясь всё яростнее). А, ерунда. Коммунизм подхватила, скоро пройдёт.
Британия (отвернувшись, рассеянно). Ладно, а что там с… (снова поворачиваясь) Блядь! Где Временное правительство?!
Россия (слегка картавя). Безвгеменно скончалось. Цагь тоже. Мы теперь Советская Госсия.
Британия (в ужасе). Пиздец!
Германия (приобнимая Россию). Давай поговорим…
(Россия подписывает мир с Германией и её союзниками, признавая своё поражение в войне)
Германия (самодовольно). Поживу ещё немного.
Страны Антанты (усиливая напор). Хуй ты угадала.
(От России начинают отваливаться Украина, Финляндия, Эстония и прочие страны)
Франция (с удивлением). Это что ещё такое?
Украина (почёсываясь). А шо не так?
Франция (подозрительно). Ты на чьей стороне?
Украина (пожимая плечами). Мы независимая республика… (коммунисты берут Киев) Блядь! Вся власть Советам. (немцы выбивают коммунистов из Киева) Блядь! Навеки с Германией. (немцы уходят из Киева) Блядь! Слава Украине. (Киев переходит из рук в руки у войск УНР, белогвардейцев и коммунистов) Блядь! Да что ж за хуйня!
Австралия (издалека наблюдая за меняющей цвета Украиной). Прикольно. Как хамелеон.
Франция и Греция (вводя войска в Украину). В пизду хамелеона… Ай! Больно! (выводя войска из Украины) Ладно, ебитесь сами.
Болгария (обессиленно). Всё катится к хуям. Я сдаюсь.
Турция. Я тоже.
Австро-Венгрия (почёсываясь). И я.
(Антанта и их союзники теснят Германию по всем фронтам)
Германия (с безграничной усталостью). Я тоже сдаюсь. Мне опротивело.
(Германская империя разваливается)
Австро-Венгрия и Турция (хором). Что за… Блядь!
(Австро-Венгерская и Османская империи разваливаются).
Королевство Исландия (появляясь на карте, зловеще). Муа-ха-ха!
Победители (глядя на десятки новых стран, миллионы могил, гражданские войны по всей Европе, хором). Пиздец.

Занавес.

Теорема о четырех красках
В 1852 году Фрэнсис Гатри, молодой английский математик, увлекся, казалось бы, детской забавой. Вооружившись карандашами, он разукрашивает карту графств Британии так, чтобы на ней не оказалось граничащих областей одного цвета. После многих попыток математик понимает, что для этого всегда хватает четырех красок, и даже обобщает свой вывод, утверждая, что данное правило применимо ко всем возможным картам.
Гатри пытается найти доказательство, но безуспешно. Вскоре он рассылает письмо со своей догадкой знакомым математикам и отплывает в Южную Африку. Там он становится адвокатом, увлекается ботаникой, а потом снова возвращается к математике. Фрэнсис Гатри умирает в 1899 году, навсегда увековечив свое имя лишь в названии описанного им вида вереска Erica guthriei. Теорема о четырех красках будет доказана только спустя сто с лишним лет.
Нельзя сказать, что все эти годы математики бездействовали: появлялось много ошибочных и неполных доказательств или успешных работ для разных частных случаев. Так, в 1890 году лектор Дурхэмского университета Перси Джон Хивуд доказал, что для подходящего оформления любой карты всегда хватит пяти красок. А уже в XX веке было доказано, что достаточно и четырех, но только для карт с 25, 26, 35 или даже 39 областями.

Компьютерные доказательства в математике
Полное непротиворечивое доказательство появилось только в 90-х годах прошлого века. Американские математики Аппель и Хаккен на нескольких сотнях страниц свели всю задачу к перебору тысячи конфигураций: если получится разукрасить эти карты четырьмя красками, то это автоматически означает верность теоремы для всех возможных карт.
Нудный перебор этих частных случаев отдали на откуп компьютеру, который успешно справился со своей миссией. Так задача о четырех красках стала одним из самых ярких примеров успешного доказательства-на-чипе.
Компьютерные доказательства уже не редкость в современной математике. Ведь что такое доказательство? Из ограниченного и непротиворечивого набора утверждений нужно, руководствуясь установленными правилами логики, получить утверждение конечное. Пройти путь, например, от аксиом Евклидовой геометрии («От всякой точки до всякой точки можно провести прямую» и т. д.) до теоремы Пифагора («В прямоугольном треугольнике квадрат длины гипотенузы равен сумме квадратов длин катетов»).
Справиться с такой формальной задачей вполне может и компьютер. Правда, сделает он это по-своему, бездумно: из начальных положений и логических правил машина просто будет постепенно фабриковать все не противоречащие им утверждения. И если исследователю повезет, среди прочего корректного, но бесполезного мусора она в конце выдаст теорему Пифагора еще до того, как его правнуки переселятся на Марс.

Ансельм Кентерберийский и компьютер
Ансельм Кентерберийский, средневековый философ и богослов XI–XII веков, за свою жизнь сформулировал множество доказательств существования Бога. Два утверждения, от которых отталкивается одно из них, упрощенно можно сформулировать так:
1. Бог — это самое совершенное из всех явлений.
2. Идея Бога заложена в нашем сознании.
Но, говорит Ансельм Кентерберийский, идея и одновременное физическое существование гораздо более совершенно, чем просто идея. А значит, Бог как самое совершенное существо реален, а не только обитает в нашем разуме.
Позднее многие критиковали это доказательство, что для обычного человека совсем не удивительно: существование Творца здесь, получается, выводится из самой идеи о Нем. Впрочем, компьютер, как показала работа Поля Оппенгеймера и Эдварда Залта из Стэнфорда, в этой логической цепочке противоречий и изъянов не увидел.
Для проверки положений Ансельма Кентерберийского исследователи использовали систему автоматического доказательства теорем Prover9. В качестве своеобразных аксиом они загрузили в систему два исходных утверждения средневекового философа. После вычислений компьютер выдал свой вердикт: все корректно.
Доказательство Ансельма работает. Более того, система смогла упростить и сделать более прозрачными формулировки исходных аксиом. Вот что пишут об этом сами исследователи: «Онтологическое доказательство Ансельма было подвергнуто критике сразу после своего появления. Но мы считаем, что такой фокус на поиске недостатков может препятствовать прогрессу в представлении этого доказательства в более элегантной форме. Мы надеемся показать, что вычислительная техника может дать новый взгляд на доказательство Ансельма и раскрыть присущую его логике красоту».

Вычисляющая Вселенная
«Для человека с молотком все похоже на гвоздь, для человека с компьютером — на вычисление», — заявил в своем выступлении на TEDx немецкий ученый Юрген Шмидхубер и показал маленький листочек с записанными на нем законами физики, по которым вычисляется наша Вселенная.
Шмидхубер тоже занимается вычислительной теологией, только делает это немного по-другому.
В 1967 году немецкий инженер Конрад Цузе впервые сформулировал гипотезу, согласно которой наша Вселенная есть лишь гигантское вычисление, запущенное кем-то неизвестным со времен Большого взрыва. Идея пришлась по вкусу многим ученым. Так, Сет Ллойд, американский физик из Массачусетского технологического института, недавно даже выпустил книгу «Вычисляющая Вселенная». В ней весь наш мир представляется гигантским квантовым компьютером, ведущим свои вычисления по фундаментальным законам физики — своеобразным аналогам правил логики, по которым тот же Prover9 пытается доказать математическую теорему.

Вселенные без нас
Один взмах крыла бабочки миллионы лет назад способен поменять очень многое: динозавры доживут до наших дней, Барак Обама не станет президентом США, в Москве выпадет майский снег. Рэй Брэдбери в своем рассказе «И грянул гром» придумал одну из самых запоминающихся метафор современной науки.
Так, даже небольшие изменения в начальных условиях для вычисления Вселенной, которые аналогичны тем самым исходным утверждениям для компьютерных доказательств теорем, могут привести нас в совершенно другие миры. Что определяет эти условия, пока непонятно. Случайности. Крохотные флуктуации в распределении энергии по Вселенной сразу после Большого взрыва: будь они хоть чуть-чуть другими — мы сразу получим какой-нибудь необитаемый мир с антигравитацией.
Эти фокусы, по мысли Шмидхубера, должны поменять наш взгляд на случайности. Возьмем, к примеру, число пи — отношение длины любой окружности к длине ее диаметра. Десятичная дробь, выражающая эту константу, больше всего похожа на бесконечное нагромождение цифр. Но есть не одна и не две формулы, с помощью которых можно вычислить каждую из этих, казалось бы, случайных цифр. (Правда, чем больше мы захотим узнать, тем больше времени нам потребуется.)
Выходит, можно написать программу, которая по несложной формуле, из рациональных предпосылок будет однозначно определять весь хаос числа пи. А значит, и программа Вселенной (начальные условия плюс фундаментальные законы физики) может однозначно вычислить весь наш мир от первой его секунды и до настоящего момента.
Рождение Солнца, появление земной атмосферы, ваш вчерашний завтрак — все это неминуемо было заложено в программе Вселенной. И никого из нас оттуда не выкинуть, как не выкинуть ни одну из бесконечных цифр числа π. Без нас Вселенная невозможна. Во всяком случае, так считают некоторые компьютерные теологи.