Abstract
This paper is the first attempt to expose the logical approach as a unifying concept of the programming theory. It is well seen now that potential benefits are great but a radical reconstruction of the way of mathematical and programmistic thinking is required. In principle, programming has to be merged with mathematics. The author sees this merging accomplished on the basis ofthe reborn and reconstructed constructive approach that could be called empirical constructivism.
The author is grateful for the support and valuable discussions to many scholars, and especially, A.P.Ershov, V.A.Nepomnyashchy, G.S.Tseitin, and E.Engeler.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Цейтин Г.С. Нематематичесое мышление в программировании. "Перспективы системного и теоретического программирования", Новосибирск, 1979, стр. 128–132.
Ershov A.P. On the essense of compilation. Formal description of programming concepts. Amsterdam, North-Holland, 1977, p. 391–420.
Марков А.А. О конструктивной математике. Тр. МИАН СССР, вып.67, 1962, стр. 8–14.
Kreisel G. Some uses of proof theory for finding computer programs. Colloq. Intern. Log., Clermont-Ferrant, 1975, p. 151.
Dahl O.-J., Dijkstra E.W., Hoare C.A.P. Structured programming. London & New York, Academic Press, 1972.
Попов Э.В., Фирдман Г.Р. Алгоритмические основы интеллектуалвных роботов и искусственного интеллекта. "Наука", М., 1976.
Kleene S.K. Introduction to metamathematics. New York, Van Nostrand, 1952.
Непейвода Н.Н. Соотношение между правилами естественного вывода и операторами алгоритмических языков высокого уровня. ДАН СССР, т. 239, 1978, No 3, стр. 526–529.
Непейвода Н.Н. О построении правильных программ. "Вопросы кибернетики", вып. 46, 1978, стр. 88–122.
Непейвода Н.Н. Об одном методе построения правилвной программы из правилвных подпрограмм. "Программирование", 1979, No I, стр. 11–21.
Непейвода Н.Н. Применение теории доказателвств к задаче построения правилвных программ. "Кибернетика", 1979, No 2, стр. 43–48.
Manna Z., Waldinger R. The logic of computer programming. IEEE Trans. on Software Engineering, vol. SE-4, no.5 (1978).
Manna Z., Waldinger R. The synthesis of structure-changing programs. Proc. of the 3-d Intern. Conf. on Software Engineering, May 1978.
Manna Z., Waldinger R. A deductive approach to program synthesis. Proc. 6-th Intern. Conf. on AI, Tokyo, 1979, p. 542.
Rasiowa H., Sikorski R. The mathematics of metamathematics. Warszawa: PWH, 1963.
Тыугу Э.Х. Система программирования с автоматическим синтезом алгоритмов. "Тр. Всес. симп. по методам реализации новых алгоритмических языков", вып. 2, Новосибирск, 1975, стр. 94–108.
Darlington J. A synthesis of several sorting algorithms. Acta Informatica, 1979, vol.12, no.1, p.1.
Ершов А.П. Смешанные вычисления: потенциалвные применения и проблемы исследования. "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование", ч.2, Вильнюс, 1980, стр. 26–55
Burstall R.M., Darlington J. A transformation system for developing recursive programs. J. of ACM, vol.24, no.1 (1977), p.44.
Barzdyn J.M. On inductive synthesis of programs (this volume).
Непейвода Н.Н. Конструктивные логики ограниченных построений. "Релевантные логики и теория следования", М., 1979, стр. 76–80.
Белвтюков А.П. Формалвная теория для порождения правилвных программ заданной вычислителвной сложности. "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование", ч.I, Вильнюс, 1980, стр. 64–66.
Непейвода Н.Н. Логическое программирование. М., Научн. совет по кибернетике АН СССР, 1980, 16 с.
Гололобов В.И., Чеблаков Б.Г., Чинин Г.Д. Описание языка ЯРМО. Препринт 247, ВЦ, СО АН СССР, Новосибирск, 1980.
Марков А.А. Об одном принципе конструктивной математической логики. "Тр. 3-го Всес. математ. съезда", т.2. АН СССР, 1956, стр. 146–147.
Heiting A. Intuitionism. Amsterdam, North-Holland, 1972 (3rd ed.).
Nepeivoda N.N. The connections between the proof theory and computer programming. 6th Intern. Congr. of Logic, Methodology and Philosophy of Science, Hannover, 1979, vol. 1, p. 7–11.
Nepeivoda N.N. A proof theoretical comparizon of program synthesis and program verification. 6th Intern. Congr. of Logic, Methodology and Philosophy of Science, Hannover, 1979, vol.1, p. 47–51.
Bauer F.L. et al. Report on a mide spectrum language for program specification and development. TUM-I 8104. München, TUM Institut für Informtik, May 1981, 236 p.
Tseytin G.S. From logicism to proceduralism (this volume).
Knuth D.E. Algorithms in modern mathematics and computer science (this volume).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nepeivoda, N.N. (1981). The logical approach to programming. In: Ershov, A.P., Knuth, D.E. (eds) Algorithms in Modern Mathematics and Computer Science. Lecture Notes in Computer Science, vol 122. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-11157-3_30
Download citation
DOI: https://doi.org/10.1007/3-540-11157-3_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11157-3
Online ISBN: 978-3-540-38621-6
eBook Packages: Springer Book Archive