Документы, связанные с Стефен К. Клини

Конспект С. Клини

составленный при чтении книги С. Клини "Введение в метаматематику".
Общее фото участников симпозиума
Ответ на 2-е извещение С. Клини -> А.П. Ершов 05.03.1979

Пишет, что ему хотелось бы приехать на симпозиум в Ургенч, но есть финансовые трудности.
Письмо А.П. Ершов -> Г.К. Скрябин 19.04.1979

Просит рассмотреть возможность приглашения на симпозиум Р.М. Берсталла, С. Клини, М.С. Патерсона, К. Замельзона и Ф. Штрассена в качестве гостей АН СССР; в приложении: обоснование, научные характеристики и программа приема.
Письмо Ю.В. Матиясевич -> А.П. Ершов 28.05.1979

о тематике симпозиума и списке его участников. /Текст рукописный./
Письмо С. Клини -> А.П. Ершов 15.06.1979

Благодарит за возможность участвовать в работе симпозиума в качестве гостя АН СССР.
Телеграмма А.П. Ершов 04.07.1979

Официальные приглашения на Ургенчский симпозиум Дж. Дарлингтону, С. Клини, М. Патерсону и Ф. Штрассену в качестве гостей АН СССР. /По каждому адресату сделаны пометки. Текст черновой, рукописный./
Приглашение А.П. Ершов 12.07.1979

на симпозиум в Ургенч в качестве гостей АН СССР С. Клини, М. Патерсона и Ф. Штрассена. /Текст черновой, на английском языке./
Письмо С. Клини -> А.П. Ершов 01.08.1979

Принимает приглашение с радостью; хочет приехать с женой; интересуется, как можно воспользоваться авторскими гонорарами, хранящимися на его счету в СБ СССР, во время пребывания в Советском Союзе.
Письмо С. Клини -> А.П. Ершов 14.08.1979

Благодарит за получение визы для себя; беспокоится о том, что не выдана виза для жены; просит совета в сложившейся ситуации.
Телеграмма А.П. Ершов -> В.К. Кабулов 28.08.1979

Вместо Дородницына приедет Курочкин; Клини приезжает с женой; Земанек - с женой и двумя детьми. /Текст рукописный./
Телеграмма А.П. Ершов -> В.В. Давыдов 30.08.1979

Сообщает информацию о прибытии в Москву Клини, Патерсона и Штрассена. Оргкомитет заинтересован в положительном решении вопроса в отношении приглашения двух польских ученых.
Письмо А.П. Ершов -> Б.В. Шабат 03.09.1979

Автор от себя лично и от имени оргкомитета поддерживает просьбу участников Ургенчского симпозиума С. Клини и Д. Кнута получить от издательства причитающиеся им гонорары.
Телеграмма А.П. Ершов -> В.В. Давыдов 06.09.1979

Просит выяснить положение дел с визой для жены С. Клини. /Рукописный и машинописный тексты./
Телеграмма А.П. Ершов -> В.В. Давыдов 07.09.1979

Просьба проследить своевременную отправку телеграммы в Берн и справиться о положении дел с приглашением двух польских ученых. /Рукописный и машинописный тексты./
Телеграмма А.П. Ершов -> В.В. Давыдов 13.09.1979

Просит послать телеграммы в Ташкент в отношении С. Клини, М. Патерсона, Ф. Штрассена, А. Мазуркевича и З. Павлака. /Рукописный и машинописный тексты./
Фотография 15.09.1979

Ургенч. Встреча. С. Клини с женой.
Фотография 16.09.1979

Хива. Летний павильон. Слева - А.П. Ершов, справа - С. Клини, А. ван Вейнгаарден и Х. Земанек.
Фотография 16.09.1979

Хива. Летний павильон. Слева направо - С. Клини, Г. Земанек, танцовщицы, М. Земанек.
Фотография 16.09.1979

Хива. Встреча. Справа - Д. Кнут и С. Клини.
Фотография 16.09.1979

Супруги Клини в Ургенче, у облсовета.
Фотография 16.09.1979

Ташкент. В.А. Успенский и супруги Клини.
Фотография 16.09.1979

Хива. Летний павильон. А. Мазуркевич, З. Павлак, Э. Шпекер, С. Клини, Д. Клини, А. ван Вейнгаарден.
Фотографии 19.09.1979

Участники симпозиума в колхозе им. Фрунзе под Хивой на сборе хлопка. Д. Кнут, С. Клини.
Фотография 21.09.1979

Прием в АН Узбекской ССР. Д. Кнут и супруги Клини.
Фотография 21.09.1979

Прием в АН Узбекской ССР. С. Клини и Ю.В. Капитонова.
Тезисы С. Клини 21.09.1979

докладов, которые должны быть сделаны 21 сентября 1979 г.
Фотография 21.09.1979

Прием в АН Узбекской ССР. Танцуют С. Клини и Ю.В. Капитонова.
Рабочие записи А.П. Ершов 22.09.1979

сделанные при чтении книги С. Клини "Введение в метаматематику".
Фотография 22.09.1979

Банкет. Слева - С. Клини, тост говорит А.П. Ершов, рядом с ним - Х. Земанек.
Отчет С. Клини 10.01.1980

"International Symposium on Algorithms in Modern Mathematics and Computer Science" - отчет для "Bulletin of the European Association for Theoretical Computer Science (EATCS)", 1980, No. 10.
Письмо Ю. Хартманис -> А.П. Ершов 22.02.1980

Подтверждает заинтересованность издательства "Springer-Verlag" в публикации трудов Ургенчского симпозиума.
Письмо С. Клини -> А.П. Ершов 18.04.1980

Благодарит за любезную записку от 01.02.1980; сообщает о редактировании одного из абзацев; пишет, что представил исторический обзор в 20-й выпуск "Symposium on Foundations of Computer Science", обещает прислать копию.
Рабочие записи А.П. Ершов 06.12.1980

сделанные при чтении книги С. Клини "Математическая логика".
Письмо С. Клини -> А.П. Ершов 17.08.1981

В ответ на письмо от 23.07.79 - будет счастлив иметь русский перевод своей статьи "Origins of Recursive Function Theory"; посылает "Annals of the History of Computing", January 1981 со своей статьей и отдельный ее оттиск; статью можно будет переводить на русский язык, как только появится соответствующее разрешение.
Статья С. Клини 14.09.1981

"Origins of Recursive Function Theory".
Письмо С. Клини -> А.П. Ершов 28.09.1981

Сообщает, что получено согласие на публикацию на русском языке статьи, напечатанной в "Annals of the History of Computing".
Письмо С. Клини -> А.П. Ершов 05.11.1981

с просьбой внести изменеиня в текст статьи
Письмо С. Клини -> А.П. Ершов 31.12.1981

с поправками к статье автора "Origins of Recursive Function Theory".
Письмо С. Клини -> А.П. Ершов 22.03.1982

об ошибках, допущенных в английском издании статьи С. Клини "Algorithms in various Contexts".
Статья С. Клини 27.04.1982

"Об истоках теории рекурсивных функций", переведенная на русский язык Н.В. Белякиным.
Статья С. Клини 19.06.1982

"Algorithms in various Contexts".
Статья С. Клини 19.06.1982

"Алгоритмы в различных смыслах", переведенная на русский язык Г.В. Шеиной.