Захаров, Дмитрий Алексеевич. Рекурсивные функции : спецкурс для студентов-математиков НГУ / Новосибирский государственный университет, кафедра алгебры и математической логики.
Новосибирск : [б. и.], 1970 [подписано в печать 3.2.1971]. 206 страниц ; 20 см.
Мягкая обложка. Тираж 600 экземпляров. Отпечатано на ротапринте НГУ.
Обложка хорошее состояние: потёртость уголков. Блок очень хорошее состояние: крепкий, полный.
***
Zakharov, Dmitry Alekseevich. Recursive Functions: A Special Course for Mathematics Students of Novosibirsk State University / Chair of Algebra and Mathematical Logic, Novosibirsk State University.
Novosibirsk : [s. n.], 1970 [signed to print 3 February 1971]. 206 pp. ; 20 cm.
Paper wrappers. Print run of 600 copies. Printed on the NSU rotaprint (mimeograph) press.
Wrappers good: corner wear. Text block very good: firm and complete.
A scarce internal university lecture course from the Chair of Algebra and Mathematical Logic at Novosibirsk State University, the department founded and headed until 1967 by Anatoly Maltsev, one of the founding figures of Soviet mathematical logic and model theory. The course covers operations on one-place recursive functions (inversion, iteration, splinters, numeration functions and convolution), the basis theory of J. Robinson's and R. Robinson's algebras (finite generation of reducts, subalgebras, isomorphisms and congruences), and culminates in a chapter on the Diophantine representability of recursively enumerable sets, opening with the Diophantine property of the exponential relation z = x^y. This relation was the crucial missing link in the Davis-Putnam-Robinson program toward Hilbert's Tenth Problem, and its incorporation into a general theorem that every recursively enumerable set is Diophantine was completed by Yuri Matiyasevich in Leningrad in January 1970; by his own later account, news of the proof reached Novosibirsk within weeks via Grigory Tseitin. Signed to print in February 1971, this rotaprint course represents one of the earliest classroom treatments of that landmark result anywhere in the Soviet Union, printed in a run of only 600 copies for internal departmental use and consequently scarce even by the standards of Soviet grey-literature mathematics.