|
On certain theorems of analysis in the formal system Kleene–Vesley
M. A. Khachatryan Computer Center, Academy of Sciences, ArmSSR
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.
Received: 06.06.1974
Citation:
M. A. Khachatryan, “On certain theorems of analysis in the formal system Kleene–Vesley”, Mat. Zametki, 21:1 (1977), 109–116; Math. Notes, 21:1 (1977), 60–64
Linking options:
https://www.mathnet.ru/eng/mzm7935 https://www.mathnet.ru/eng/mzm/v21/i1/p109
|
Statistics & downloads: |
Abstract page: | 612 | Full-text PDF : | 78 | First page: | 1 |
|