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