Advertisement

Springer Nature is making Coronavirus research free. View research | View latest news | Sign up for updates

Incompleteness theorem of formal theories from programmer's viewpoint

  • 10 Accesses

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

Additional information

Translated from Kibernetika, No. 2, pp. 1–5, March–April, 1979.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Glushkov, V.M. Incompleteness theorem of formal theories from programmer's viewpoint. Cybern Syst Anal 15, 155–159 (1979). https://doi.org/10.1007/BF01069324

Download citation

Keywords

  • Operating System
  • Artificial Intelligence
  • System Theory
  • Formal Theory
  • Incompleteness Theorem