Invited Paper: L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments (at LICS 1998)

Authors: Dirk van Dalen

Abstract

There are two main periods in Brouwer's foundational activities. The first one is covered by the dissertation of 1907 and subsequent papers. The second one starts in 1918 with the introduction of choice sequences. Both periods have their own specific characteristics. The first period is less mature, with a stronger critical component, the second is more the scholarly presentation of a program and its consequences. In this paper we will try to sketch the development of ideas and notions in both period and the technical realization of the foundational aspects. An extensive treatment of the topics of this paper will be published in a volume on "History and philosophical significance of proof theory"

BibTeX

  @InProceedings{vanDalen-LEJBrouwersIntuitio,
    author = 	 {Dirk van Dalen},
    title = 	 {L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments},
    booktitle =  {Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science (LICS 1998)},
    year =	 {1998},
    month =	 {June}, 
    pages =      {228--241},
    location =   {Indianapolis, IN, USA}, 
    note =       {Invited Talk},
    publisher =	 {IEEE Computer Society Press}
  }