ПИСЬМО ДОМОЙ
В тот день я, как и обычно, обшаривал глазами все четыре стороны света в поисках земли, но не находил ничего. Как печально это было! Потом, по случайной прихоти и с разрешения капитана, я взобрался на одну из мачт. С этой большой высоты, когда паруса и дымовая труба остались далеко подо мной, я с удивлением различил берег Европы — тончайшую зеленую полоску, чуть выступавшую над водным горизонтом. Я крикнул вниз Мацумуре: «Поднимись! Поднимись!» — и он поднялся очень быстро и отважно.
Вдвоем на верхушке мачты мы пристально вглядывались в Европу. «Смотри! — сказал я ему. — Вот нам и доказательство, что мир и на самом деле круглый! Стоя внизу на палубе, мы ничего не видели, но отсюда, сверху, суша ясно видна. Это доказывает, что поверхность моря искривлена! А если искривлено море, то, конечно же, искривлена и вся земля!»
«Это потрясающе, — воскликнул Мацумура, — все именно так, как ты говоришь! Земля действительно круглая! Это наше первое настоящее доказательство!»
МОДУС
Парижские газетчики уделяли ее светлости прискорбно мало внимания, а потому даже этот небольшой зал был заполнен менее чем наполовину.
Темные ряды откидных кресел были негусто усеяны сверкающими лысинами математиков, но основную часть публики составляли клакеры, по большей части — немолодые, летний лен их чрезмерно элегантных нарядов смотрелся несколько отставшим от моды. Три последние ряда занимал парижский Женский клуб; истомленные жарой суфражистки обмахивались веерами и громко переговаривались, поскольку давно уже потеряли нить рассуждений ее светлости, а может — и не находили.
Леди Ада Байрон перевернула страницу и чуть поправила бифокальное пенсне. Уже несколько минут вокруг подиума кружила тяжелая зеленая муха; теперь она прервала свой замысловатый полет и приземлилась на подложенное, с отделкой из кружев плечо ее светлости. Леди Ада никак не среагировала на вопиющую наглость настырного насекомого и храбро продолжала на не очень хорошем французском.
Мать сказала:
— Наша жизнь стала бы много прозрачнее, если бы человеческую речь можно было интерпретировать как развертывание уровней некоей глубинной формальной системы. Отпала бы необходимость разбираться в двусмысленностях языка, но появилась бы возможность оценивать истинность любого высказывания, соотнося его с фиксированным и поддающимся конечному описанию набором правил и аксиом. Найти подобную систему,
Однако выполнение так называемой программы «Модус» однозначно показало, что любая формальная система является одновременно неполной и неспособной доказать свою самосогласованность. Не существует конечного математического метода установить, что есть «истина». Трансфинитная природа «предположений Ады Байрон» вывела из строя «Гран-Наполеон»; программа «Модус» запустила последовательность циклических, вложенных друг в друга петель, которую было очень трудно породить, но еще труднее — уничтожить. Программа работала, однако привела в негодность машину! Это было поистине болезненным уроком, показавшим, сколь несовершенны еще возможности даже лучших наших