Intuitionism and logical tolerance (Q2702734)

In this eminently readable note, the author points out that the \textit{Grundlagenstreit} between the classical viewpoint and its intuitionistic rival, both of which maintained that mathematical theorems have content, was to a certain degree mooted (``resolved by telling the protagonists to go away'') by the advent of the model-theoretic perspective during the 1920s and the ensuing study of formalisms without content (``Language or Logic as Calculus''), for which Carnap's tolerance principle is emblematic.NEWLINENEWLINEFor the entire collection see [Zbl 0948.00030].