Hermann Weyl's intuitionistic mathematics

Abstract

It is common knowledge that for a short while Hermann Weyl joined Brouwer in his pursuit of a revision of mathematics according to intuitionistic principles. There is, however, little information in the literature to shed light on Weyl's role, and in particular on Brouwer's reaction to Weyl's allegiance to the case of intuitionism. This short episode certainly raises a host of questions: how did Weyl come to give up his own program, spelled out in "Das Kontinuum" - how come Weyl was so wellinformed about Brouwer's new intuitionism? - in what respect did Weyl's intuitionism differ from Brouwer's intuitionism? - what did Brouwer think of Weyl's views? To some of these questions at least partial answers can be put forward on the basis of some of the available correspondence and notes.