 I regret that my name is known to-day mainly in connection with these papers [Heyting 1930, 1930A, 1930B], which were very imperfect and contained many mistakes. They were of little help in the struggle to which I devoted my life, namely a better understanding and appreciation of Brouwer’s ideas. They diverted the attention from the underlying ideas to the formal system itself. (Heyting 1978: 15)