Трагедия Готлиба Фреге

В июне 1902 года профессор математики в Йене держал в руках корректуру своей книги. Он ещё не знал, что держит в руках смертный приговор делу всей своей жизни.

Готлобу Фреге было пятьдесят три. Двадцать пять лет он отдал одной мысли — что вся арифметика, всё бесконечное хозяйство чисел, выводится из чистой логики и не держится больше ни на чём. Первый том доказательства вышел девятью годами раньше и утонул в молчании: книгу мало кто мог прочесть и почти никто — оценить. Второй печатался. И вот, когда листы уже уходили под пресс, пришло письмо.

Писал англичанин тридцати лет, Бертран Рассел. Он занимался тем же самым — искал для математики логическое дно — и читал Фреге с восхищением: почти во всём согласен, лучшее, что написано о логике за сто лет. Дальше стояла вежливая оговорка, «лишь в одном пункте я встретил трудность», и несколько строк рассуждения.

Эти несколько строк показывали, что система Фреге противоречива. Не в частности, не в доказательстве отдельной теоремы — в самом правиле, на котором держалось определение числа. Всё здание, законченное и уходящее в печать, стояло на пустоте.

Чтобы понять, что убило одно письмо, надо знать, что строилось и от какой беды.

Беда была настоящая и копилась двести лет. Ньютон и Лейбниц изобрели исчисление бесконечно малых, и оно работало великолепно — считало орбиты, площади, скорости. Только никто не мог сказать, что такое бесконечно малая. Считали её так: величина меньше любой мыслимой доли — меньше тысячной, меньше миллионной, меньше чего угодно, — и при этом всё-таки не ноль.

Зачем нужна такая небылица, видно на простом вопросе: какова крутизна кривой в одной-единственной её точке? Крутизну меряют отношением — насколько поднялось на столько-то вбок. Но в одной точке никакого «вбок» нет, делить не на что. И тогда отступали в сторону на бесконечно малую: на этот неуловимый шажок считали подъём и делили одно на другое. В ответе вместе с искомым числом оставалась она же, лишней добавкой, — и вот тут её отбрасывали: она ведь бесконечно мала, чего с ней считаться.

Здесь и была бессмыслица, и видели её все. Чтобы поделить, бесконечно малую держали за настоящее число — на ноль делить нельзя. Чтобы получить чистый ответ, ту же величину в том же вычислении объявляли нулём и выкидывали. Одно и то же — то не ноль, то ноль, смотря что сейчас нужнее. Приём давал верные ответы полтора века и оставался при этом откровенным фокусом; епископ Беркли, поймав математиков на подмене, назвал их бесконечно малые «призраками усопших величин».

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

Изгнание пошло вглубь. Непрерывные величины свели к действительным числам, действительные — к рациональным, рациональные — к целым. Всё огромное здание анализа осело на натуральный ряд: один, два, три. И тут открылась вещь, от которой становится не по себе. Всё свели к числу — а что такое число, объяснить не мог никто.

Ответы, которые ходили по рукам, рассыпались при первом нажатии. Число — свойство вещей? Но вот перед вами колода карт: она одна, мастей в ней четыре, карт пятьдесят две. В самих картах ничего не изменилось, а числа вышли разные — значит, число прилипло не к вещам. Число — картинка в голове? Но никто не представляет себе шестьсот пятьдесят четыре тысячи семьсот шестьдесят восемь, а сложить это с другим таким же мы можем и в ответе уверены. Число — обобщение опыта, итог множества виденных пар и троек, как думал Милль? Тогда арифметика перестаёт быть надёжной: вдруг завтра мир поведёт себя иначе, и дважды два окажется другим. Кант отвечал, что арифметика опирается на чистое созерцание, на нашу способность видеть последовательность во времени. Фреге возражал: очень большие числа никто ни в каком созерцании не удерживает, а истины о них мы знаем наверняка.

Оставалась четвёртая возможность, и её-то Фреге и взялся доказать: число есть предмет логики. Не свойство вещей, не образ в сознании, не осадок наблюдений, а нечто, выводимое из одних законов рассуждения.

Стоит понять, что сулила победа, — иначе не видно, чем он рисковал. Если арифметика выводится из логики, то её истины не зависят ни от того, каков мир, ни от того, как устроена наша голова: их не опровергнуть ни новым опытом, ни другой психикой. Уверенность, с которой мы говорим «дважды два четыре», перестаёт быть загадкой или привычкой и получает основание. Дальше — всеядность. Числа приложимы решительно ко всему: считают яблоки, доводы в споре, корни уравнения, ангелов на кончике иглы. Если число есть предмет логики, странность исчезает: логика приложима ко всему, о чём вообще можно мыслить, и арифметика наследует эту всеядность от неё. И наконец — никаких посредников: ни интуиции, ни особого дара, который надо иметь от природы. Только цепочка выводов, которую любой может проверить шаг за шагом.

Ради этого Фреге сначала построил инструмент, которого не существовало. В 1879 году он издал тонкую книжку с формальным языком, где впервые появились кванторы — способ строго записать «всякий» и «некоторый» — и стало можно выражать многослойные общие суждения, ничего не теряя по дороге. Логика со времён Аристотеля почти не двигалась с места; он сдвинул её на девяноста страницах. Книжку почти не заметили. Инструмент был сделан не ради инструмента: им предстояло разобрать понятие числа до последнего винта.

Разбирал он так. Число прилипает не к вещам, а к понятию, под которое их подводят: сказать «четыре» осмысленно только тогда, когда сказано «четыре чего» — четыре масти, а не четыре карты, потому что взято понятие «масть в этой колоде». Значит, число есть нечто, что говорится о понятии.

Дальше — ход, ради которого всё строилось. Когда два понятия имеют одно и то же число? Тогда, когда их предметы можно расставить попарно, ничего не оставив ни с одной стороны, ни с другой. Пастуху не нужно уметь считать, чтобы знать, что овец столько же, сколько камешков в его сумке: он вынимает по камешку на овцу. Взаимно-однозначное соответствие даёт равночисленность без всякого счёта — то есть понятие числа определяется раньше, чем «сколько».

Осталось превратить это в предмет. Число, отвечающее понятию, Фреге определил как объём понятия «равночисленный ему»: четвёрка — то общее, что есть у всех четвёрок мира, взятое как отдельная вещь, с которой можно обращаться в формулах. За словом «объём понятия» прячется знакомое: это прямой предок того, что математики позже назовут множеством. Правило, разрешающее переход от понятия к его объёму, стояло в системе пятым и называлось Основным законом V. Без него числа не из чего сделать: понятия остаются понятиями, считать нечего.

Теперь письмо можно прочесть.

Рассел заметил, что понятия распадаются на два разряда, и различие тут не между словом и вещью, а между самими понятиями. Одни под себя не подпадают: понятие лошади не ест овса, понятие красного не имеет цвета. Другие подпадают вполне: понятие абстрактного само абстрактно, понятие понятия само есть понятие, а понятие «не-лошадь» — и подавно, оно действительно не лошадь. Разряды не выдуманы для случая; они получаются сами, стоит спросить о любом понятии, годится ли оно себе в примеры.

Нагляднее всего — на каталогах. Каталог книг по ботанике сам книгой по ботанике не является и себя в свои строки не вносит. А каталог всех каталогов библиотеки сам есть каталог и себя внести обязан, иначе он неполон. Итак, каталоги бывают двух родов: упоминающие себя и не упоминающие. Составим теперь каталог всех каталогов, которые себя не упоминают. Упоминает ли он себя? Если да — он попал в собственный список, а туда вносят только тех, кто себя не упоминает. Если нет — он ровно таков, каких список собирает, значит, обязан там стоять, то есть себя упомянуть. Оба ответа опровергают себя за один ход, и никакой ошибки в рассуждении нет: беда в самой возможности собрать такой список.

У Фреге вместо каталогов и множеств — объёмы понятий, но удар приходится в ту же точку. Основной закон V обязывает выдать объём всякому понятию без разбора — в том числе понятию «не подпадающий под самого себя». А из него, как из каталога всех себя-не-упоминающих, следует и «да», и «нет».

Закон, без которого числа не из чего сделать, оказался законом, из которого следует что угодно, — а значит, ничто. Никакое наблюдение тут ни при чём. Система убила себя собственными правилами.

Второй том вышел в 1903 году с приложением, дописанным на ходу. Начинается оно так: едва ли может случиться с учёным что-либо худшее, чем то, что после завершения работы одно из оснований его постройки оказывается поколебленным. В такое положение, продолжает Фреге, его поставило письмо господина Бертрана Рассела, когда печатание тома уже подходило к концу.

Дальше видно, из какого человек теста. Противоречие Фреге воспроизводит сам, своими средствами, в своих обозначениях, показывая, что вывести его можно двумя разными путями и оба лежат внутри его системы. Он предъявляет читателю оружие в исправном виде, а не в пересказе. Публикацию не откладывает — том выходит с обвалом внутри. И не сваливает беду на частность: затронуто, говорит он, не одно место, а сам способ, которым он переходил от понятия к предмету.

В том же приложении Фреге предлагает выход, простой на вид: ослабить пятый закон так, чтобы самопожирающий оборот в него не пролез, и выражает надежду, что главные теоремы арифметики удастся спасти. Выход не сработал. Позже показали — сперва польский логик Станислав Лесневский, за ним Гич и Куайн, — что подправленный закон выживает лишь в мире, где предметов не больше одного. Починка спасала систему ценой того, ради чего система строилась: в мире одного предмета арифметика невозможна — там нечего считать.

Он мог поступить иначе, и стоит представить это отчётливо. Приложения он мог не печатать — второй том вышел бы чистым, а обвал остался бы перепиской двух человек. Мог назвать противоречие частным затруднением, отложенным до третьего тома, которого, к слову, так и не будет. Мог объявить, что понятие «не подпадающий под самого себя» вообще не есть настоящее понятие, и запретить его особым правилом — приёмом, которым в философии пользуются постоянно и почти всегда безнаказанно. Он напечатал.

Вот что стоит держать в уме, когда в следующий раз услышишь, что кто-то «признал свою ошибку». Признание бывает в письме приятелю, в частном разговоре, через двадцать лет в предисловии к переизданию — там, где его легко обойти. А бывает под одной обложкой с опровергнутым, в той же книге, которую читатель держит в руках, набранное тем же шрифтом. Кто хочет знать, признана ошибка или нет, пусть смотрит не на слова, а на место: напечатано ли возражение там, где его не обойдёшь.

Фреге не проиграл опыту. Никто не поставил эксперимента, никакое наблюдение ему не противоречило, ни один факт мира не имел к делу отношения. Его постройка была целиком априорной — определения, аксиомы, выводы, и ничего, что можно измерить или увидеть. Такую, казалось бы, нельзя опровергнуть в принципе: её не за что схватить снаружи. И всё же она умерла — от противоречия. У мысли, которая ничего не утверждает о мире, точка поражения тоже есть, и лежит она внутри: система гибнет, если из неё выводится разом и «да», и «нет». Всякому, кто слышит слово «проверяемость» и тут же вспоминает, что математику и логику опытом не проверить, — вот и ответ. Не проверить. Но смерть у них своя, и она наступает.

Та же история показывает цену сцепленности. Здание Фреге держалось на немногих законах, и каждая теорема опиралась на предыдущие; поэтому один изъян в пятом обрушил всё. Части были связаны — и разрушение шло по связям. Рассыпчатая постройка так не гибнет: в ней нечему падать. Уязвимость оказалась платой за то, что вещь была одним целым, а не грудой соображений. И рисковал Фреге не малым: двадцать пять лет, дело жизни, зрелые годы. Печатая приложение, он ставил под удар всё сразу, потому что его труд имел смысл только целиком — логицизм без основания чисел не логицизм, а набор упражнений.

Так и вышло. Программу пришлось оставить. Признания при жизни он не получил и умер человеком, чью главную работу знали десятки людей. Но у этой истории есть последний поворот, и он горше всего.

В свои последние годы, уже в двадцатые, Фреге вернулся к вопросу, которому отдал жизнь, и ответил на него наоборот. В набросках, которые он не успел ни развить, ни напечатать, он пишет, что арифметика в конце концов держится не на логике, а на геометрии; что она, стало быть, синтетична, а не аналитична, — и опирается на созерцание пространства и времени. То есть ровно то, что утверждал Кант и что молодой Фреге взялся опровергнуть двадцатью пятью годами формул. Человек, положивший жизнь на доказательство, что число есть чистая логика, умер в 1925-м, оставив в столе несколько страниц, где написано, что он, кажется, ошибался с самого начала.

Проще всего увидеть в этом крушение. Но есть и другой способ прочесть. Мысль Фреге оказалась настоящей ровно потому, что могла умереть, — и он до последнего дня называл место, где она умирала: сначала в приложении, чужой рукой присланное противоречие; под конец — своей собственной рукой, в набросках без читателя. Есть аппараты, которые нельзя ни опровергнуть, ни поймать, потому что они ничего не выводят, ни на чём не держатся и ничем не рискуют. Их не убить — и не потому, что они прочны, а потому, что в них нечему падать. Здание Фреге можно было убить. Но оно было зданием.