Документы, связанные с Джон Маккарти

спецкурса по математической теории вычислений.

"Некоторые замечания к проекту АИСТ", сделанные во время приезда Дж. Маккарти в ВЦ СО АН. /Текст переведен на русский язык А.П. Ершовым и записан им собственноручно./

касающиеся использования естественного языка, поступившие от разных лиц.

Маккарти Дж. "Новые результаты в математической теории вычислений"; Редько В.Н. "Параметрические грамматики"; Фуксман А.Л. "О некоторых свойствах формальных грамматик"; Тузов В.А. "Проблемы разрешения для граф-схем с перестановочными операторами"; Непомнящий В.А. "Об одном методе распознавания эквивалентности схем программ и дискретных преобразований"; Гонца М. Г., Маричук М.Н. "Параметрически управляемый синтаксический контроль и анализ языков программирования"

о содержании бесед с Дж. Маккарти о развитии работ по искусственному интеллекту; с С.А. Лебедевым и В.С. Бурцевым - о назначении автора письма руководителем работ по математическому обеспечению "Горы".

Дж. Маккарти.

с просьбой продлить визу профессору Дж. Маккарти.

с различными учеными.

в переводе на русский язык Г.И. Кожухина. /Текст машинописный./

Благодарит за библиографию, указывает на неточность в номере 250.

Очень огорчен тем, что не состоялась поездка в Баден, но надеется все-таки, что это не повлияет на возможность участия в Конгрессе ИФИП. высказывает свои соображения по организационным вопросам.

Благодарит за письмо и соглашается с предложением адресата о замене двух докладчиков на симпозиуме. Сообщает адрес Р.И. Подловченко.

Просит предоставить в Иностранный отдел СО АН СССР обоснование необходимости приглашения в ВЦ СО АН СССР профессора Стэнфордского университета Дж. Маккарти и проект программы его пребывания.

пребывания профессора Дж. Маккарти в ВЦ СО АН СССР.

к предложениям по приглашению профессора Дж. Маккарти в Сибирское отделение АН СССР.

Рассказывает о финансовой ситуации вокруг приглашения профессора Дж. Маккарти.

Благодарит за письма и отчет, рассказывает о полученных и не полученных журналах и о текущих делах.

Сообщает, что готов направить приглашение от Стэнфордского университета А.П. Ершову и членам его семьи на любой период 1967 года. Говорит, что работу адресата многие известные ученые Стэнфорда оценивают очень высоко. Они с нетерпением ждут его приезда, чтобы иметь возможность поработать вместе.

Сердечно благодарит за организацию визита в Академгородок и теплый прием. Высказывает свои замечания относительно работ по системам разделения времени. Сообщает о планируемых посылках и спрашивает, не надо ли прислать что-нибудь еще. Делится своими планами на будущее и говорит, что был бы рад приехать в Новосибирск на более длительный срок, чтобы прочесть курс в Университете и поработать с научной группой. Высказывает свою точку зрения на взаимоотношения СССР и США. /Дан перевод письма на русский язык./

Благодарит за приглашение провести несколько месяцев в Стэнфордском университете в качестве приглашенного профессора. Говорит, что нужно сделать для осуществления этой поездки. Рассказывает о недавнем пребывании проф. Дж. Маккарти в Академгородке.

Сожалеет, что адресату не удалось приехать в Гренобль на заседание Рабочей группы; надеется, что коллеги сделали все возможное, чтобы адресат смог участвовать в следующем заседании, в Варшаве. Советуется относительно возможных сроков приезда в Новосибирск.