 This interpretation of intuitionistic logic is closely connected with the ideas Mr. Heyting has developed in the last volume of Erkenntnis 2, 1931: 106 [Heyting 1931]; yet in Heyting a clear distinction between propositions and problems is missing. (Kolmogorov 1932: 65 [Mancosu 1998: 334])