On certain theorems of analysis in the formal system Kleene-Vesley

Research paper by M. A. Khachatryan

Indexed on: 01 Jan '77Published on: 01 Jan '77Published in: Mathematical Notes


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.