Документы, связанные с Джон Маккарти
-
Письмо Д. Маккарти -> А.П. Ершов
31.05.1975
Благодарит за присланную книгу и рассказывает о своей работе в Японии. /Текст рукописный./
-
Письмо Д. Маккарти -> А.П. Ершов
28.06.1975
Автор пишет на русском языке, боясь забыть его из-за активных занятий японским. Говорит, что будет рад приехать, но окончательное решение примет, только вернувшись домой. /Текст рукописный./
-
Письмо Д. Минкер
01.07.1975
от имени "Комитета озабоченных ученых" о ситуации вокруг приглашения А. Лернера на МОКИИ-4; угроза бойкота конференции по политическим соображениям.
-
Письмо Д. Маккарти -> А.П. Ершов
14.07.1975
Автор хочет принять участие в симпозиуме и выступить с докладом. Сообщает также о планах других поездок.
-
Отчет А.П. Ершов
22.07.1975
о научной командировке в США делегации в составе А.П. Ершова, С.И. Самойленко, В.М. Брябрина с 13 по 28 апреля 1975 года.
-
Письмо Д. Маккарти -> А.И. Берг
27.07.1975
об участии А. Лернера в МОКИИ-4, в частности, в панельной дискуссии на тему "Кибернетика и искусственный интеллект"; надежда, что если это произойдет, то все возникавшие у ряда ученых в связи с этим опасения, будут сняты.
-
Письмо Д. Маккарти -> А.П. Ершов
12.09.1975
Сожалеет, что последняя беседа оказалась очень короткой. Надеется на будущие встречи. Высказывается по поводу договора о сотрудничестве. Считает, что сделать это будет очень трудно, а может быть и вовсе невозможно. /Текст рукописный./
-
Телеграмма А.П. Ершов -> С.И. Самойленко
15.09.1975
Просьба срочно подтвердить приглашение профессора Дж. Маккарти в качестве гостя АН СССР; предусмотрено ли в программе его пребывания посещение Новосибирска?
-
Сопроводительное письмо А.П. Ершов -> С.И. Самойленко
23.09.1975
к отправленным материалам.
-
Телеграмма А.П. Ершов -> С.И. Самойленко
17.10.1975
Просьба подтвердить, что профессору Дж. Маккарти придан статус гостя Академии наук и что поездка в Новосибирск включена в программу его пребывания в СССР.
-
Телеграмма С.С. Масчан -> Г.И. Марчук
05.11.1975
о том, что профессор Дж. Маккарти участвовал в Четвёртой международной конференции по искусственному интеллекту в качестве гостя АН СССР.
-
Письмо Д. Маккарти -> А.П. Ершов
09.04.1976
Автор пишет о текущих делах - проект Фунли возобновлен; его новая статья о домашних терминалах принята хорошо. Собирается жениться. Благодарит за присланный ему уже 22-й том энциклопедии и ждет следующие два.
-
Письмо А.П. Ершов -> Д. Деннис
06.08.1976
с рекомендациями по приглашению советских и зарубежных ученых на конференцию в Канаде в 1977 г.
-
Открытка Д. Маккарти -> А.П. Ершов
04.09.1976
Автор радуется успехам жены (снова ходит) и дочери (сдала экзамен) адресата. Будет рад и в будущем принимать адресата у себя в Стэнфорде. /Текст рукописный./
-
Письмо Д. Маккарти -> А.П. Ершов
23.10.1976
Рассказывает о своих заботах в связи с установкой нового компьютера, о работе со студентами, один из которых хотел бы провести год в СССР. Спрашивает, возможно ли это.
-
Письмо А.П. Ершов -> Ю.Д. Шмыглевский
22.11.1976
о подготовке выступлений на Конгрессе ИФИП-77.
-
Письмо Д. Маккарти -> А.П. Ершов
21.03.1977
Автор сетует, что запустил свою переписку; собирался принять участие в панели ИФИП, но опоздал; ненадолго приедет на рабочую конференцию по искусственному интеллекту, которая будет проходить в апреле под Ленинградом.
-
Телеграмма А.П. Ершов -> Э. Фейгенбаум
30.03.1977
Автор спрашивает, может ли он попросить Дж. Маккарти привезти Труды NCC-76, если они доступны?
-
Телеграмма А.П. Ершов -> В.М. Турский
14.04.1977
Автор сообщает, что Дж. Маккарти согласен участвовать в его панельной дискуссии.
-
Записи А.П. Ершов
21.04.1977
сделанные по ходу совещания.
-
Письмо Д. Маккарти -> А.П. Ершов
04.11.1977
Сожалеет, что не смог принять участие в конференции ИФИП; продолжает развивать идеи, изложенные в репинском докладе; предлагает вниманию проспект Центра перспективных исследований, который обещает годичную стажировку по проблемам искусственного интеллекта.
-
Сопроводительное письмо А.П. Ершов -> Г.С. Поспелов
01.12.1977
к письму Дж. Маккарти с пожеланием присоединиться к проекту по искуственному интеллекту.
-
Приветственная карточка Д. Маккарти -> А.П. Ершов
06.03.1978
-
Письмо А.П. Ершов -> В.К. Кабулов
27.03.1978
Сообщает, что идея проведения в Ургенче симпозиума поддержана руководством АН СССР и широкой научной общественностью: Г.И. Марчуком, А.А. Дородницыным, В.М. Глушковым, С.С. Лавровым, Д. Кнутом, Дж. Маккарти, Ф.Л. Бауэром, Э. Хоаром, Э. Дейкстрой и др. видными учеными.
-
Письмо А.П. Ершов -> Д. Ауфенкамп
28.03.1978
касающееся важных моментов визита в США А.П. Ершова и И.В. Поттосина. /Текст рукописный./
-
Программа
10.04.1978
научной работы А.П. Ершова в США.
-
Письмо А.П. Ершов -> Д. Ауфенкамп
30.08.1978
Сообщает, что все еще нет подтверждения на увеличение продолжительности поездки; перечисляет поступившие приглашения, в том числе уже принятые; предлагает программу на месячный период (что более вероятно) и шестинедельный. /Текст рукописный, черновой./
-
Письмо А. Бликле -> А.П. Ершов
23.11.1978
Выражает благодарность за приглашение на симпозиум и информирует о возможном пересечении по времени Ургенчского симпозиума с Рабочей Группой ИФИП.
-
Ответ на 2-е извещение Д. Маккарти -> А.П. Ершов
20.03.1979
Пишет, что планирует приехать на симпозиум в Ургенч.
-
Письмо Д. Маккарти -> А.П. Ершов
02.07.1979
Автор сообщает о полученном последнем томе Советской энциклопедии, очень благодарит и высказывает свое мнение о ней в сравнении с Британской энциклопедией.
-
Письмо Д. Маккарти -> А.П. Ершов
14.08.1979
Приносит извинения за то, что принять участие в работе симпозиума по причине крайней занятости не сможет.
-
Телеграмма А.П. Ершов -> В.К. Кабулов
05.09.1979
Сообщает, что Дж. Маккарти, Р. Карп и Я. Московакис на симпозиум не приедут. Дополнительно приглашен А.В. Анисимов. /Рукописный и машинописный тексты./
-
Письмо Д. Маккарти -> А.П. Ершов
07.01.1980
Описывается ситуация с посылкой, отправленной в Новосибирск и через год вернувшейся обратно в Стэнфорд.
-
Тезисы А.П. Ершов
10.12.1980
возможного доклада "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений" на международном конгрессе математиков (Варшава, 1982 год). /Текст рукописный./
-
Телеграмма Д. Маккарти -> А.П. Ершов
05.03.1981
Рады будут принять в Стэнфорде.
-
Незавершенная статья Д. Маккарти
17.03.1981
"Язык программирования "ELEPHANT". /Текст рукописный./
-
Письмо Д. Маккарти -> А.П. Ершов
19.04.1982
Дж. Маккарти одобряет тему панельной дискуссии и соглашается участвовать в ней.
-
Письмо на бланке Д. Маккарти -> А.П. Ершов
13.10.1982
Профессор благодарит А. Ершова за Труды симпозиума и интересуется, будет ли панельная дискуссия на ИФИП-83.
-
Замечания Д. Маккарти
17.01.1983
к панельной дискуссии "Крепкие орешки информатики".
-
Сопроводительное письмо и доклад Д. Маккарти
28.03.1983
к письму прилагается статья Дж. Маккарти, в которой он обсуждает, во-первых, текущее положение проблем в теории вычислений и, во-вторых, особенности языка делового общения.
-
Изложение
23.05.1983
краткое точек зрения основных панелистов. /Машинописный и рукописный варианты./
-
Письмо А.П. Ершов -> М. Калогер
14.07.1983
А.П. Ершов высылает список своих панелистов.
-
Телеграмма А.П. Ершов -> Оргкомитет
14.07.1983
Список участников панельной дискуссии "Крепкие орешки информатики".
-
Заметки А.П. Ершов
23.09.1983
Краткие заметки по выступлениям Д. Бьорнера, А. Бликле, Ю. Хартманиса, Дж. Маккарти.
-
Телеграмма П. Суппес -> А.П. Ершов
03.04.1986
Автор сообщает о времени своего визита в Москву и просит поговорить с ним по телефону о проблемах использования ЭВМ в образовании.
-
Список А.П. Ершов
12.09.1986
американских коллег, информированных о визите А.П. Ершова в США, и тем для обсуждения.
-
Письмо Д.А. Робинсон -> А.П. Ершов
17.09.1986
Автор вспоминает о краткой встрече пару лет назад во Флоренции и сообщает, что на недавней конференции в Лондоне редколлегия журнала "Логическое программирование" единодушно решила пригласить в свой состав адресата.
-
Преварительная программа А.П. Ершов
06.07.1987
пребывания в ВЦ СО АН СССР профессора Стэнфордского университета Дж. Маккарти (шт. Калифорния, США).