|
|||||||||||
Документы, связанные с Юрий Владимирович Матиясевич Статья Матиясевич Ю.В. "Вещественные числа и ЭВМ".
Письмо, А.П. Ершов->Ю. В. Матиясевич, 08.05.1979Сообщает о симпозиуме; материалы прилагаются. /Рукописный и машинописный варианты./
Письмо, Ю. В. Матиясевич ->А.П. Ершов, 28.05.1979о тематике симпозиума и списке его участников. /Текст рукописный./
Вопросы, В. А. Матулис->А.П. Ершов, 21.11.1979присланные А.П. Ершову для согласования.
Письмо, Ю. В. Матиясевич ->А.П. Ершов, 04.01.1980Сообщает информацию о подготовке своей статьи. /Текст рукописный./
Статья, 09.01.1980"Что делать после установления неразрешимости алгорифмической проблемы?"
Список, 18.01.1980членов Программного комитета конференции.
Распоряжение, 28.02.1980по Научному совету по комплексной проблеме "Кибернетика" АН СССР об утверждении состава Организационного комитета конференции.
План, 03.09.1980размещения участников конференции в ДО "Жилвинас" (состояние на 3 сентября).
Письмо, Ю. И. Манин->А.П. Ершов, 30.09.1980Благодарит за внимательную и доброжелательную рецензию в "Природе". Рассказывает о текущих делах. Дает положительную оценку статье Д.Ю. Григорьева.
Письмо, А.П. Ершов->Ю. И. Манин, 04.01.1981Рассказывает о своих мыслях, возникших при виде книги адресата, о проблемах полиграфии и др.
Телеграмма, А.П. Ершов->Ю. В. Матиясевич, 25.05.1981Для оформления бумаг по Ургенчскому симпозиуму просьба сообщить домашний адрес. /Черновой рукописный и машинописный тексты./
Телеграмма, Ю. В. Матиясевич ->А.П. Ершов, 28.05.1981Сообщает свой домашний адрес.
Письмо, А.П. Ершов->А. О. Слисенко, 22.01.1982Сообщает об отправке статьи и предлагает участвовать в двух летних конференциях по выбору.
Письмо, Г. Е. Минц->А.П. Ершов, 17.05.1982В ответ на письмо А.П. Ершова от 14 мая автор поддерживает идею о написании рабочего предложения по изданию книги Берандрегта, предлагает свою помощь в переводе книги.
Письмо, Г. Е. Минц->А.П. Ершов, 17.09.1982Сообщает грустную весть о гибели в автомобильной катастрофе С.Ю. Маслова. Выяснилось, что перевод книги Барендрегта уже поручен другому человеку, а взамен предложено составить сборник по приложениям Лямбда-исчисления в вычислительной науке. Спрашивает мнение А.П. Ершова. /Текст рукописный./
Письмо с приложением, Г. Е. Минц->А.П. Ершов, 23.09.1982Посылает подписанные Матиясевичем предложения об издании сборника переводов "Приложения Лямбда-исчисления к теоретическому программированию". Предлагает подписать их и отправить в Москву. Надеется на приезд А.П. Ершова в ЛОМИ.
Рукописный конспект, 16.11.1984доклада на семинаре ИСЭП, сделанный С.С. Лавровым.
Ю.В. Матиясевич. "Вещественные числа и ЭВМ"
Рабочие записи, 19.11.1984в процессе заседаний на конференции.
Открытка, Ю. В. Матиясевич ->А.П. Ершов, 02.02.1985Поздравления с избранием в академики. Сообщает, что в Ленинграде предполагают провести эксперимент по обучению второклассников программированию, используя в качестве языка обучения ПЛ/1. Это автора очень огорчает, но он не в силах повлиять на выбор. К сожалению, работы Г.А. Звенигородского не находят применения.
1 2 По порядку | По алфавиту | По дате Назад |
||
Switch to English | Поиск | Расширенный поиск | Папки | Темы |
|