Очерки по истории компьютерной науки и техники в Украине



           

Очерки по истории компьютерной науки и техники в Украине - стр. 100


Она успешно решается. Это стержневая линия. Основная идея состоит в
том, что математическое доказательство может строиться как программа
на основе языка. Когда мы ее осуществим, то станем внедрять такой язык
в архитектуру машин. Автоматизация доказательства теорем - это моя
голубая мечта, она составляет основу моих размышлений об архитектуре
новых ЭВМ, способных осуществить сложные творческие процессы, в том
числе построение дедуктивных теорий.
 
Именно отсюда вытекают новые идеи построения ЭВМ. И понять, как
строить такие машины, может только человек, занимающийся не только
машинами, но и искусственным интеллектом. В этом наша сила.
 
В конце 60-х годов в институте под руководством В. М. Глушкова была
начата разработка ЭВМ "Украина". Главным конструктором был назначен 3.
Л. Рабинович, заместителями - А. А. Стогний и И. Н. Молчанов. Это был
следующий шаг и отступлении от нсиманопских принципов в развитии
интеллектуализации эвм, связанный на этот раз с разработкой
высокопроизводительной универсальной ЭВМ.
 
После завершения эскизного проекта Министерство радиопромышленности
СССР предложило провести научно-технический совет с докладом по
проекту новой ЭВМ. Председательствовал на совете заместитель министра
М. К. Сулим. Присутствовали главные конструкторы средств
вычислительной техники, директора Институтов Министерства
радиопромышленности, представители военных и промышленных структур и
др. Среди участников были академики Глушков (руководитель
докладыпаемой работы). Дородницын. Лебедев. Равнодушных не было. Были
сторонники работы и ее противники, точнее - скептики. Одним словом,
интерес был огромный. По поручению Виктора Михаиловича доклад сделал
Рабинович. Он вспоминает: "После доклада состоялась жаркая дискуссия,
страсти разгорелись. Был такой момент, когда три академика вскочили
одноиременно и бросали свои аргументы в зал. Я отвечают на вопросы
слишком осторожно II спокойно, чем заслужил упрек от Виктора



Содержание  Назад  Вперед