Skip to main content
SpringerLink
Log in

In memory of Nikolai Makarovich Nagornyi (1928–2007)

  • Published:
Computational Mathematics and Mathematical Physics Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. “A Strengthening of the Reduction Theorem in the Theory of Algorithms,” Dokl. Akad. Nauk SSSR 90, 341–342 (1953).

  2. Translation from the Czech Language of Incorporation of Computers into the Control of Industrial Plants by I. Herac (Inostrannaya Literatura, Moscow, 1953) [in Russian].

  3. “On Some Generalized Concepts of a Normal Algorithm,” in Proceedings of III All-Union Mathematical Congress (Akad. Nauk SSSR, Moscow, 1956), Vol. 2, p. 147.

  4. “Some Generalized Concepts of a Normal Algorithm,” Tr. Mat. Inst. im. V.A. Steklova Akad. Nauk SSSR 52, 7–65 (1958).

  5. “On the Minimal Alphabet for Algorithms over a Given Alphabet,” Tr. Mat. Inst. im. V.A. Steklova Akad. Nauk SSSR 52, 66–74 (1958).

  6. “Example of a Group with a Nonrecursive Center,” Z. Math. Logik Grundl. Math. 4, 304–308 (1958).

  7. “On Search for Isomorphisms of Associated Calculi,” Z. Math. Logik Grundl. Math. 6, 319–324 (1960).

  8. “Realization of Functions over Alphabets by Algorithms of Some Classes,” Dokl. Akad. Nauk SSSR 140, 52–55 (1961).

  9. “Principles of Organization and Use of a Software Code Library,” in Computational Mathematics (Akad. Nauk SSSR, Moscow, 1961), No. 7, pp. 161–169 [in Russian] (with G. I. Kozhukhin and I. V. Pottosin).

  10. System of Commands for the BESM-2 Computer Installed at the Computing Center of the USSR Academy of Sciences (Vychisl. Tsentr Akad. Nauk SSSR, Moscow, 1961) [in Russian] (with V.A. Magarik).

  11. “On Algorithms for Solving Certain Optimization Problems,” in Proceedings of the Conference on Experience and Prospects of Applying Mathematical Methods and Computers for Planning (Novosibirsk, 1962), p. 3.

  12. “Andrei Andreevich Markov (on His 70th Birthday),” Usp. Mat. Nauk 19(3), 207–223 (1964). (with N. A. Shanin) (reprinted in A.A. Markov: Selected Works (MTsNMO, Moscow, 2003), Vol. 2, pp. 578–580 [in Russian]).

  13. “On Realizable and Extendible Logic-Arithmetic Formulas,” Dokl. Akad. Nauk SSSR 157, 529–531 (1964).

  14. Candidate’s Dissertation in Mathematics and Physics (MIAN SSSR, Moscow, 1965).

  15. “One Language for Describing the Operation of a Computer,” in Problems in Cybernetics (Fizmatgiz, Moscow, 1967), Vol. 19, pp. 5–38 [in Russian] (with A. A. Markov).

  16. “Mathematics: the Solution of the Hilbert’s Tenth Problem,” in Science and Mankind 1973: Year Book (Znanie, Moscow, 1972), pp. 326–329 [in Russian].

  17. “On Separability over Invariants,” in Studies of the Theory of Algorithms and Mathematical Logic (Vychisl. Tsentr Akad. Nauk SSSR, Moscow, 1973), No. 1, pp. 205–209 [in Russian].

  18. “Andrei Andreevich Markov (on His 70th Birthday),” Usp. Mat. Nauk 29(6), 187–190 (1974) (with A. G. Dragalin, N. V. Petri, and N. A. Shanin) (reprinted in A.A. Markov: Selected Works (MTsNMO, Moscow, 2003), Vol. 2, pp. 549–555 [in Russian], pp. 591–594 [in Russian].

  19. Some Operation Modes for Systems of Interacting Computers, in Theory of Algorithms and Mathematical Logic (Vychisl. Tsentr Akad. Nauk SSSR, Moscow, 1974), pp. 127–142 [in Russian].

  20. “Internal Symposium and Summer School on Mathematical Foundations of Informatics, Czechoslovakia, September 1973,” Kibernetika, No. 2, 148–150 (1974) (with I. V. Anisimov and D. N. Todoryi).

  21. “Über eine Abanderung des von S.G. Kleene einführten Realisierungsbegriffe,” Proceedings of V Internal Congress of Logic, Philosophy, and Methodology of Science (London, 1975), p. 31.

  22. “Algorithms and Real Numbers,” Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, Gdansk, Sep. 6–10, 1976 (Springer-Verlag, Berlin, 1976), pp. 99–104.

  23. One Variant of Defining a Logic Arithmetic Formula and Research into the Theory of Algorithms and Mathematical Logic (Vychisl. Tsentr Akad. Nauk SSSR, Moscow, 1976), Vol. 2, pp. 46–50 [in Russian].

  24. “Normal Algorithms and Languages of the First Order,” in Studies of the Theory of Algorithms and Mathematical Logic (Vychisl. Tsentr Akad. Nauk SSSR, Moscow, 1976), Vol. 2, pp. 46–50 [in Russian].

  25. “Algorithm as a Basis for Formulating Constructive Mathematical Notions,” Algorithms in Modern Mathematical and Computer Sciences, L.-N. Comput. Sci. Pros. Ungench, Uzbek. SSR, Sept. 16–22, 1979, in Lecture Notes in Computer Science (Springer-Verlag, Berlin, 1981), Vol. 122.

  26. “On the Representability of Matrices,” VI All-Union Conference on Mathematical Logic (Tbilisi, 1982).

  27. “Zum Rroblem der Darstellbarkeit von Matrizen,” Abstracts of the 7th Internal Congress of Logic, Methodology, and Philosophy Science (Salzburg, 1983), Vol. 1, pp. 139–140.

  28. “On the Representability of Matrices,” Summer School on Mathematical Logic and Its Applications (Primorskoe, 1983), pp. 13–14.

  29. “Formal System for Describing the Semantics of Linearly Arranged Constructive Objects,” School-Seminar on Semiotic Aspects of Intelligence Formalization Telavi-83 (Moscow, 1983), pp. 97–98.

  30. “Constructive Processes and Constructive Objects in the General Architecture of Mathematical Theory,” Proceedings of Conference on Constructive Processes (Dom Tekh. NTO, Izhevsk, 1984), pp. 27–29.

  31. The Theory of Algorithms (Nauka, Moscow, 1984) [in Russian] (with A. A. Markov).

  32. “Historical Genesis of the Constructive Idea,” School-Seminar on Semiotic Aspects of Intelligence Formalization Kutaisi-85 (Moscow, 1985), pp. 214–216.

  33. “Experience in Application to the Theory of Normal Algorithms,” IV All-Union Conference on Applications of Methods of Mathematical Logic (Tallinn, 1986), pp. 126–128.

  34. “Modern Foundations of Mathematics: Ascend to Constructiveness,” in Regularities in the Development of Modern Mathematics: Methodological Aspects (Nauka, Moscow, 1987), pp. 212–219 [in Russian].

  35. “On Presentation of Elementary Semiotics,” in Abstracts of the 8th International Congress of Logic, Methodology, and Philosophy Science, Moscow, 1987, (Moscow, 1987), Vol. 5, pp. 49–50.

  36. Publication and Preface to “What is Constructive Mathematics?” by A.A. Markov, in Regularities in the Development of Modern Mathematics: Methodological Aspects (Nauka, Moscow, 1987), pp. 209–212 [in Russian].

  37. The Theory of Algorithms (Dordrecht Kluwer Academic, 1988) (with A. A. Markov.)

  38. Translation and Preface to Lectures on the Development of Mathematics in the 19th Century by F. Klein, Vol. 1 (Nauka, Moscow, 1989) [in Russian] (with M. M. Postnikov); “Supplements,” pp. 422–437.

  39. “On the Realizability of Propositional Formulas,” Logic Colloquium (Berlin, 1989).

  40. “Andrei Andreevich Markov (On His 90th Birthday),” Izv. Ross. Akad. Nauk Ser. Tekh. Kibern., No. 5, 10–19 (1993) (reprinted in A.A. Markov: Selected Works (MTsNMO, Moscow, 2003), Vol. 2, pp. 595–602 [in Russian]).

  41. “A Constructive Model of Classical Formal Arithmetics,” Dokl. Akad. Nauk 332, 26–28 (1993).

  42. “Andrei Markov and Mathematical Constructivism,” Proceedings of 9th International Congress of Logic, Methodology, and Philosophy Science Uppsala, August 7–14, 1991 (Elsevier, Amsterdam, 1994), pp. 467–479.

  43. “On the Research Project ‘Bibliography of Mathematical Logic and Related Fields’ of the Mathematical Logic Department at the Heidelberg Academy of Sciences,” Zh. Vychisl. Mat. Mat. Fiz. 35, 318–319 (1995) (with V. Lenski and M. M. Richter).

  44. “On the Consistency of Arithmetics,” XI International Conference on Logic, Methodology, and Philosophy Science (Obninsk, 1995), Vol. 1, pp. 45–47.

  45. “On the Consistency of Classical Formal Arithmetics,” in Advances in Applied Mathematics (Vychisl. Tsentr RAN, Moscow, 1995) [in Russian].

  46. “Preface,” in The Theory of Algorithms (Reflections and Reminiscences) by A. A. Markov and N. M. Nagornyi (Fazis, Moscow, 1996), pp. VII–XXXI [in Russian].

  47. The Theory of Algorithms, 2nd revised and expanded edition, (Fazis, Moscow, 1996) [in Russian] (with A. A. Markov).

  48. “On the Consistency of Arithmetics,” Smirnov International Conference (Moscow, 1997), pp. 20–22.

  49. “Commentary,” in D. Hilbert, Selected Works (Faktorial, Moscow, 1998), Vols. 1, 2 [in Russian].

  50. “Realizable Semantics of the Early Period of Markov’s Constructivism (Achievements and Problems),” II Smirnov International Conference (Moscow, 1999), pp. 50–54.

  51. “Realizable Semantics of the Early Period of Markov’s Constructivism (History of the Problem),” in Studies of Logic (Nauka, Moscow, 2000), No. 7, pp. 61–71 [in Russian].

  52. “Is the Concept of a Finite Set Solid?” (On One Lost Work by A.A. Markov) III Smirnov International Conference (Moscow, 2001), pp. 54–57.

  53. “On the Consistency of Classical Formal Arithmetics,” in Studies of Logic (Nauka, Moscow, 2002), No. 8, pp. 105–128 [in Russian].

  54. “Andrei Andreevich Markov and His Constructive Direction in Mathematics,” in A.A. Markov: Selected Works (MTsNMO, Moscow, 2003), Vol. 1, pp. V–XLVIII [in Russian].

  55. “He Felt Responsibility for the General State of Mathematics: Andrei Andreevich Markov (1903–1979),” in The Lives of Russian Scientists (URSS, Moscow, 2002), pp. 168–175 [in Russian].

  56. “A.A. Markov’s Contribution to Constructive Mathematical Analysis,” in A.A. Markov: Selected Works (MTsNMO, Moscow, 2003), Vol. 2, pp. 544–548 [in Russian] (with E. A. Kushner).

  57. “Compiler’s Preface,” in A.A. Markov: Selected Works (MTsNMO, Moscow, 2003), Vol. 2, pp. V–XII [in Russian].

  58. “A.A. Markov’s Article ‘On Constructive Mathematics’,” Tr. Mat. Inst. im. V.A. Steklova Akad. Nauk SSSR 67, 8–14 (1962) (with V.A. Shurygin).

  59. “On the Series of A.A. Markov’s Works Concerning the TTsE Problem,” in A.A. Markov: Selected Works (MTsNMO, Moscow, 2003), Vol. 2, pp. 607–609 [in Russian].

  60. “Is the Concept of a Finite Set Solid?,” in A.A. Markov: Selected Works (MTsNMO, Moscow, 2003), Vol. 2, pp. 527–534 [in Russian].

  61. “Realizable Semantics of the Early Period of Markov’s Constructivism,” in A.A. Markov: Selected Works (MTsNMO, Moscow, 2003), Vol. 2, pp. 535–543 [in Russian].

  62. “An Overview of Works by A.A. Markov’s and His Students: Complexity Method in the Theory of Algorithms,” in A.A. Markov: Selected Works (MTsNMO, Moscow, 2003), Vol. 2, pp. 549–555 [in Russian] (with M. N. Dombrovskii and V. A. Shurygin).

  63. From Cantor to Markov: Ascending to Constructivism (Dedicated to the 100th Anniversary of A.A. Markovís Birthday), IV Smirnov International Conference (Moscow, 2003), pp. 50–54.

  64. “From Cantor to Markov: Ascending to Constructiveness (Dedicated to the 100th Anniversary of A.A. Markovís Birthday),” in Studies of Logic (Nauka, Moscow, 2003), Vol. 10, pp. 128–133 [in Russian].

  65. “Andrei Andreevich Markov (on the 100th Anniversary of His Birthday),” Diskret. Mat. 16(1), 3–8 (2004) (with M. M. Glukhov).

  66. “Two Mathematicians from St.-Petersburg (G. Cantor and A.A. Markov),” Philosophy and the Future of the Civilization: Proceedings of the IV Russian Congress of Philosophy (Sovrem. Tetridy, Moscow, 2005) [in Russian].

Download references

Author information

Authors and Affiliations

  1. Dorodnicyn Computing Center, Russian Academy of Sciences, ul. Vavilova 40, Moscow, 119333, Russia

    M. K. Kerimov

Authors
  1. M. K. Kerimov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to M. K. Kerimov.

Additional information

Original Russian Text © M.K. Kerimov, 2008, published in Zhurnal Vychislitel’noi Matematiki i Matematicheskoi Fiziki, 2008, Vol. 48, No. 6, pp. 1140–1144.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kerimov, M.K. In memory of Nikolai Makarovich Nagornyi (1928–2007). Comput. Math. and Math. Phys. 48, 1076–1080 (2008). https://doi.org/10.1134/S096554250806016X

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S096554250806016X

Search

Navigation