Dedicated to Vadim A. Yankov
In 1956, Arend Heyting (1898-1980) published his Intuitionism [Heyting 1956], that could be characterized as the first compendium of the form of mathematics which was inaugurated by Luitzen E.J. Brouwer (1881-1966) in his dissertation of 1907. In order to help the reader, who may not necessarily think intuitionistically, understand the controversies between intuitionistic way of thinking and other standpoints in the foundations of mathematics, Heyting adopted a dialogical form of exposition. Thus, the book is articulated in the form of dispute between the fictional persons “Class”, “Form”, “Int”, “Pragm”, and “Sign”, which represent classical mathematics, formalism, intuitionism, pragmatism and significism, respectively. Nevertheless, it also has the feature of systematic exposition, because it is divided into eight chapters, covering the fundamental parts of intuitionistic mathematics.
Figure 1: Vadim A. Yankov at the Moscow M. V. Lomonosov...