A translation of Maehara's "Eine Darstellung der Intuitionistischen Logik in der Klassischen"

Justus Becker

A key motivation for Heyting's intuitionistic logic was to gain a formal notion of Brouwer's idea of mathematics as a "construction of the mind". One might thus argue that Heyting'…