Like a bee on a windowpane: Heyting's reflections on solipisms (Q1583771)

Heyting is best remembered for his prosecution from the 1930s onwards of Brouwer's intuitionistic philosophy of mathematics with much of adulterating pseudo-mysticism purged. However, it emerges from the manuscripts discussed here that Heyting wallowed in solipism on occasion, seemingly inspired by his Master's voice. But Brouwer was not the only source: various texts by Wittgenstein, Russell and Popper are quoted and discussed. Heyting seems to have recognised the difference between ontological and epistemological solipism, but his efforts do not save that (irrefutable) lost cause. The paper is written throughout in English, Heyting's original Dutch is rendered in footnotes, and the sources used are listed in a closing bibliography.