Constructive Mathematics Is Seemingly Simple but There Are Still Open Problems: Kreisel's Observation Explained

Authors

Olga Kosheleva, The University of Texas at El PasoFollow
Vladik Kreinovich, The University of Texas at El PasoFollow

Publication Date

9-2015

Comments

Technical Report: UTEP-CS-15-68

Published in Journal of Innovative Technology and Education, 2015, Vol. 2, No. 1, pp. 51-56.

Abstract

In his correspondence with Grigory Mints, the famous logician Georg Kreisel noticed that many results of constructive mathematics seem easier-to-prove than the corresponding classical (non-constructive) results -- although he noted that these results are still far from being simple and the corresponding open problems are challenging. In this paper, we provide a possible explanation for this empirical observation.