Деление на ноль | страница 6

  Рене была слишком взрослой, чтобы испыты­вать страдания, свойственные вундеркинду, когда он вырастает и становится таким же, как все. С другой стороны, многие математики лучшие свои открытия сделали до того, как им исполнилось тридцать, - что если она начинает тревожиться, не приближается ли она, пусть с опозданием на не­сколько лет, к этому порогу?

  Маловероятно. Он бегло рассмотрел несколько других версий. Может, она разочаровалась в акаде­мической науке? Ее пугает, что ее исследование стало слишком уж узкоспециальным? Или просто устала от того, что делает?

  Карл не верил, что подобные страхи могут быть причиной поведения Рене; он без труда во­ображал себе впечатления, какие скопились бы у него, будь это так, и воображаемое не укладыва­лось в реальность. Что бы ни тревожило Рене, он был не в состоянии угадать, и это внушало ему беспокойство.

6

  В 1931 году Курт Гёдель доказал две теоремы. Первая, по сути, показывает, что математика со­держит утверждения, которые, возможно, истинны, но по природе своей недоказуемы. Даже столь эле­ментарная формальная система, как арифметика, допускает утверждения строгие, осмысленные и ка­жущиеся истинными, однако эта истинность не может быть доказана формальным путем.

  Его вторая теорема показывает, что претензия арифметики на полноту как раз и является таким утверждением: она не может быть доказана ника­ким методом, опирающимся на аксиомы арифме­тики. Иными словами, арифметика как формаль­ная система не может гарантировать от таких ре­зультатов, как «1 = 2». Предположим, с подобными противоречиями до сих пор никто не сталкивался, но невозможно доказать, что никто никогда с ними так и не столкнется.

6a

  И снова он зашел в ее кабинет. Когда Рене подняла на него взгляд, Карл начал решительно:

  — Рене, очевидно; что... Она его оборвала:

  — Хочешь знать, что меня беспокоит? Ладно, я тебе скажу. — Достав чистый лист бумаги, Рене села за стол. — Подожди, это займет всего минутку.

  Карл снова открыл было рот, но Рене махнула ему, чтобы замолчал. Сделав глубокий вдох, она начала писать.

  Посередине она провела черту «верху вниз, раз­делив страницу на две колонки. Вверху первой по­ставила цифру 1, вверху второй — цифру 2. Ниже стремительно нацарапала какие-то символы, кото­рые в следующих строках развила в серию новых. Она скрежетала зубами, пока писала: было такое ощущение, что, рисуя значки, она ногтями скребет по грифельной доске.