Additional information
Translated from Kibernetika, No. 2, pp. 1–5, March–April, 1979.
Rights 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
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01069324