А. П. Ершов — Дж. Маккарти

[1]

Из переписки

А. П. Ершов

17 марта 1978 г.

Проф. Джону Маккарти
Стэнфорд

Давно собирался ответить на Ваше дружеское письмо, и, как всегда, текущие дела не дают сосредоточиться. Однако получение книги «Artificial Intelligence and Natural Man» позволило мне преодолеть порог инерции повседневности.

Большое спасибо за книгу. Совершенно очевидно, что даже без сенсационных достижений работы по ИИ и вокруг него приобретают, я бы сказал, второе дыхание. Что у нас? На Годичном собрании АН СССР было доложено, что группа Охоцимского снабдила макет шестиножки «техническим зрением» и провела первые эксперименты по реальному движению и преодолению препятствий. Адельсон-Вельский выпускает книгу о построении игровых программ. Я ее видел в рукописи — книга будет интересной.

В системах взаимодействия с ЭВМ на естественном языке намечается сближение лингвистов и специалистов по ИИ. Очень актуальный потребитель работ в этом направлении — прикладные информационные системы. В группе Нариньяни применяется SETL как язык спецификации и пробной реализации. Мы с большим интересом ждем приезда американской делегации «по естественному языку», которую организует Ауфенкамп из Национального научного фонда. Тем не менее, мне некого назвать в качестве надежного кандидата для планируемого семинара.

Лебедевский институт недавно объявил свою новую разработку — многомашинный комплекс Эльбрус-1. Это по-настоящему мультипроцессорная система, обеспечивающая работу вплоть до 12 процессоров над общей памятью, управляемых одной операционной системой. Производительность одного процессора — порядка 1.5 млн оп/сек. Это оригинальная разработка, более похожая на Бэрроуз[2], нежели на что-либо еще. Машина стэковая, память — тегированная. Имеются инструкции «высокого уровня» для вызова процедур, организации циклов и индексной арифметики. Кэш отсутствует, но процессоры имеют много скрытых регистров. Организация виртуальной памяти — сегментно-страничная. Система имеет весьма емкие и быстрые барабаны. Внешний интерфейс — стандартный и очень разветвленный. В комплекте возможен специальный процессор, обеспечивающий аппаратную совместимость с БЭСМ-6, на котором бэсмовские программы будут работать в три раза быстрее. Охлаждение машины — водяное. Таковы наши новости общего порядка.

Я недавно кончил книгу «Введение в теоретическое программирование». Книга содержит некоторый конкретный материал по схемам программ, но в основном получилась методологической. Через эту книгу я начал очень интенсивно размышлять о сущности математического метода вообще. Эти размышления сейчас, пожалуй, образуют постоянный фон всей остальной моей работы, но никакого конкретного направления работа пока не получила. В целом мне хочется написать книгу просветительского плана, потому что очень уж бездумно у нас обращаются с математикой. Однако чувствую, что если за это браться серьезно, то надо все бросить и работать в области философии математики лет десять. Решиться на это трудно, но мысли не оставляют. Мы с Доном Кнутом вступили в контакт по поводу осуществления научного паломничества к местам аль-Хорезми. Сейчас эта идея конкретизируется в проведение в Узбекистане осенью 1979 года симпозиума человек на 25 на тему «Алгоритм в современной математической и вычислительной науке». Я очень надеюсь, что Вас заинтересует это научное путешествие.

Говоря о более конкретной моей работе, я продолжаю изучать частичное выполнение программ (partial evaluation) как универсальный механизм, раскрывающий сущность многих процессов в системном программировании. Работа в целом продвигается успешно, и я делю время между математическим обоснованием принципа смешанных вычислений и его конкретными применениями — прежде всего в трансляции.

28 февраля у Васи и его жены, Нины, появился сын, Михаил, а у нас — внук. Поскольку моя бабушка жива (ей 94 года), на сей день мы имеем 5 поколений Ершовых. Анюта продолжает свою учебу в университете, отдавшись ей с большим энтузиазмом. Ходит на специальный курс по теории графов.

В октябре этого года я планирую месячную поездку в США, в рамках советско-американского сотрудничества по теме «Применение ЭВМ в управлении». Организатором моей поездки будет г-н Дон Ауфенкамп из НСФ, работающий в офисе сотрудничества с СССР. На этот месяц я хочу осуществить «grand tour», в основном, чтобы повидаться со старыми друзьями. Я был бы рад провести несколько дней в Стэнфорде. Я думаю, что Ауфенкамп примет мои предложения, однако встречное выражение интереса со стороны принимающей организации, вероятно, упростило бы подготовку.

Сердечные приветы Вере и девочкам.

Примечания

[1] Машинописный текст, архив, папка 129, листы 104—106.

[2] Burroughs — серия вычислительных машин одноименной фирмы (США).

Из сборника «Андрей Петрович Ершов — ученый и человек». Новосибирск, 2006 г.
Перепечатываются с разрешения редакции.