Дверь открыта. Внутри пожар. Никакой паники. Беглый взгляд в угол. Там стоит огнетушитель, красный и безмолвный. Математик закрывает дверь. «Доподлинное доказательство», — бормочет она, возвращаясь к рабочему столу. Зачем тушить пламя, если уже известно, что пожар можно потушить?
Эта шутка — не просто игра слов. Она определяет значительную часть современной математики. Это называется неконструктивным доказательством. Звучит сухо. На деле же — немного жутковато.
голуби, норки и пустые обещания
Вот трюк, помогающий осознать всю абсурдность ситуации.
Представьте комнату, где находятся 367 человек. Какова вероятность, что двое из них имеют одинаковую дату рождения? Сто процентов. Абсолютная уверенность.
Почему? Дней в году только 366. Возможно, 366 с дробью, если учитывать високосные годы. Но по сути дней не хватает. Если загнать 367 голубей в 366 норок, в одной из них окажутся две птицы. Вам не нужно знать, кто именно эти двое. Не нужны их имена. Не нужно даже смотреть на их удостоверения личности.
Совпадение существует. Имена не имеют значения.
Это принцип Дирихле (или принцип о голубятне). Он доказывает неизбежность связи. Но оставляет конкретные детали размытыми. Долгое время математики ненавидели эту туманность. Традиционно доказательство означало предъявление конкретного объекта на обозрение. Как драгоценного камня на бархатной подушке. А не призрака объекта, который может быть там.
Это изменилось в XIX веке. Инициативу взял Давид Гильберт. Он был гениален. И в то же время провокатор.
Война за ничто
Гильберт рассматривал алгебру, а не только геометрию. Он хотел узнать, может ли конечный набор базовых правил — «система образующих» — построить любой алгебраический инвариант, который можно вообразить.
До Гильберта Поль Гордан посвятил жизнь поиску таких систем для частных случаев. Гордан был трудягой. Ручным работником. Его доказательства были запутанными, длинными и исчерпывающими. Он действительно показывал объекты.
В 1888 году появился Гильберт. Он не нашел систему. Не построил её. Он просто доказал, что она должна существовать.
Как?
Он предположил обратное. Он представил бесконечный поток инвариантов, которые не могли быть порождены никаким конечным набором. Затем он показал, что такой бесконечный поток алгебраически невозможен. Противоречие.
Если отрицание невозможно, то утверждение должно быть истинным. Следовательно, система образующих существует. Конец истории.
Гордан был ужаснулся.
«Это не математика. Это теология».
Гордан чувствовал себя обманутым. Вера — это не доказательство. Или все-таки нет? Спустя годы Гордан вынужденно сдался, неохотно признав, что у теологии есть свои преимущества. Но битва не была окончена. В ринг вышел новый претендент.
Его звали Л. Э. Дж. Брауэр, и он презирал абстракции Гильберта.
Интуиция против формализма
Гильберт играл по правилам формализма. Математика — это игра со символами. Логически манипулируй фишками. Выиграй игру. Соответствие реальному миру не имеет значения. Если логика выдерживает, объект существует, даже в пустоте.
Брауэр проповедовал интуиционизм. Математика — это человеческое творение. Мысленная конструкция. Если вы не можете построить её в своем уме, она не реальна. Это просто набор бессмысленных слов.
Конфликт свелся к одному логическому инструменту: закону исключенного третьего.
Базовая логика диктует, что для любого утверждения верно либо оно, либо его отрицание. «Гильберт — кот». Правда или ложь? Нет. Ложь. Просто.
Гильберт применял этот закон к бесконечным множествам. Если «Конечная система образующих не существует» — ложь, то «Конечная система образующих существует» должна быть истиной.
Брауэр сказал: ни за что.
Для конечных вещей их можно проверить. Для бесконечных? Нельзя. Вы не можете проверить бесконечный ряд объектов по одному. Использование закона исключенного третьего для бесконечности, утверждал Брауэр, было читом. Логическим блефом.
Гильберт считал Брауэра сумасшедшим. Он сравнивал запрет этого логического закона с заставой боксера драться со связанными руками. Абсурд.
Брауэр называл Гильберта своим «врагом».
Редакционный переворот
Это были не просто философские размышления. Это были реальные мужчины, реальные эго в настоящем журнале. Mathematische Annalen. Один из крупнейших математических журналов на Земле.
Гильберт был редактором. Альберт Эйнштейн был редактором. Брауэр входил в редакционную коллегию.
Напряжение стало токсичным. В 1928 году у Гильберта не хватило терпения. Он уволил всю редакционную коллегию. Он хотел убрать Брауэра.
Эйнштейн был возмущен. Он немедленно подал в отставку. Он написал, по сути: Что за бессмыслица? Это спор о тенях, пока вселенная продолжает вращаться.
И, вероятно, Эйнштейн был прав, отойдя в сторону. Большинство математиков сегодня не заботятся о философии. Они просто используют неконструктивные доказательства, потому что они работают. Гильберт, казалось, победил. Брауэр отступил в изоляцию.
Последняя улыбка
Но подождите.
Курт Гёдель нанес сокрушительный удар по формализму Гильберта. Теоремы о неполноте доказали, что никакая система символов не может быть одновременно непротиворечивой и полной. Игра не может победить собственную доску.
Гёдель не был интуиционистом. Он сам использовал закон исключенного третьего. Но он учел уроки Брауэра. Он понимал, что у машины есть пределы.
Перенесемся в наши дни.
Мы больше не говорим о ссорящихся профессорах. Мы говорим об искусственном интеллекте.
Современное программное обеспечение для верификации проверяет доказательства шаг за шагом. Машина читает логику. Она говорит «Истина». Но кто понимает эти шаги? Иногда доказательство слишком длинно для того, чтобы любой человеческий мозг мог его осознать. ИИ конструирует его. Мы проверяем логику. Но «объект» — сам путь рассуждений — остается непрозрачным.
Это неконструктивная истина, проверенная конструктом, который не существует для человеческого восприятия.
У нас есть ответ. Мы не понимаем, как мы его получили.
Брауэр улыбался бы. Вероятно, усмехаясь.
Он говорил нам, что этот день наступит. Момент, когда вера заменила конструкцию. Момент, когда мы поверили призраку в машине.
