Abstract
It is proven that in the Kleene-Vesley formal system of intuitionistic analysis, theorems on upper bounds and on mean values of functions can neither be deduced nor verified.
Similar content being viewed by others
Literature cited
S. C. Kleene and R. E. Vesley, Foundations of Intuitionistic Mathematics, North-Holland Publishing Co., Amsterdam (1965).
S. C. Kleene, Introduction to Metamathematics, Van Nostrand, Princeton, N. J. (1952).
A. Heyting, Intuitionism: An Introduction (3rd edition), North-Holland Publishing Co., London (1971).
A. G. Dragalin, “Computability of primitive recursive terms of finite type and primitive recursive realization,” Zap. Nauch. Seminarov, Leningr. Otd. Matem. In-ta im. Steklova,8, 32–45 (1968).
G. S. Tseitin, “Mean-value theorems in constructive analysis,” Tr. Mat. Inst. Akad. Nauk SSSR,67, 362–384 (1962).
Author information
Authors and Affiliations
Additional information
Translated from Matematicheskie Zametki, Vol. 21, No. 1, pp. 109–116, January, 1977.
The author wishes to thank A. G. Dragalin for having posed the problem and fr his interest in the work.
Rights and permissions
About this article
Cite this article
Khachatryan, M.A. On certain theorems of analysis in the formal system Kleene-Vesley. Mathematical Notes of the Academy of Sciences of the USSR 21, 60–64 (1977). https://doi.org/10.1007/BF02317038
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02317038