FOM: Returned Bibliography on Brouwer's Philosophy

Steve Stevenson steve at cs.clemson.edu
Thu Jul 22 13:40:21 EDT 1999


Many thanks to all who responded to my request for information on
Brouwer's philosophy. Here's a bibtex bibliography and part of the
note from Professor van Dalen.

Best regards,

steve
-----
Steve (really "D. E.") Stevenson           Assoc Prof
Department of Computer Science, Clemson,   (864)656-5880.mabell

------------------------------------------------------------
@Article{dalen98:_from_brouw_point_view,
  author = 	 {D. {van Dalen}},
  title = 	 {From a Brouwerian Point of View},
  journal = 	 {Philosophia Mathematica},
  year = 	 1998,
  volume =	 6,
  pages =	 {209--226}
}

@InProceedings{dalen98:_l,
  author = 	 {D. {van Dalen}},
  title = 	 {L.E.J.  Brouwer's Intuitionism: a revolution in two
                  installments},  
  booktitle = 	 {Proceedings Thirteen Anual IEEE Sympsium on Logic in 
                  Computer Science, June 21--24, Indianapolis, IN},
  pages =	 {228--241},
  year =	 1998,
  organization = {IEEE},
  publisher =	 {IEEE Computer Science}
}

@InProceedings{dalen99:_devel_intuit,
  author = 	 {D. {van Dalen}},
  title = 	 {The Development of Brouwer's Intuitionism},
  booktitle = 	 {The Roskilde Conference on the History of proof
                  Theory},
  year =	 1999,
  publisher =	 {Kluwer},
  note =	 {Forthcoming}
}

@InCollection{dalen99:_intuit_concep_logic,
  author = 	 {D. {van Dalen}},
  title = 	 {The Intuitionistic Conception of Logic},
  booktitle = 	 {European Review of Philosophy},
  pages =	 {45--78},
  publisher =	 {Unknown},
  year =	 1999,
  editor =	 {A.C. Varzi},
  volume =	 4
}

@Book{dalen99:_mystic_geomet_intuit,
  author =	 {D. {van Dalen}},
  title = 	 {Mystic, Geometer, and Intuitionist: The Life of
                  L.E.J. Brouwer. The dawning Revolution.},   
  publisher = 	 {Oxford University Press},
  year = 	 1999,
  volume =	 {I}
}

@Misc{dalen99:_person_note,
  author =	 {D. {van Dalen}},
  title =	 {Personal Note},
  month =	 {Jul},
  year =	 1999,
  note =	 {Brouwer's philosophy of mathematics is really part
                  of his overall philosophy, which  was expounded in
                  his Vienna lectures and in the big post war lecture
                  "Consciousness, Philosophy and Mathematics".}
}

@Article{detlefsen90:_brouw_intuit,
  author = 	 {M. Detlefsen},
  title = 	 {Brouwerian Intuitionism},
  journal = 	 {Mind},
  year = 	 1990,
  volume =	 99,
  number =	 396,
  pages =	 {501-34}
}

@Unpublished{,
  author = 	 {Dirk Schlimm},
  title = 	 {Against against Intuitionism},
  note = 	 {http://www.contrib.andrew.cmu.edu/user/dschlimm/texts/aai_105.ps},
  year =	 1996
}

@InBook{stigt90:_intuit,
  author =	 {William {van Stigt}},
  title = 	 {Brouwer's Intuitionism},
  chapter = 	 {2--4},
  publisher = 	 {Elsevier Science Publishing Company, Inc.},
  year = 	 1990,
  note =	 {QA29.B697S25}
}



More information about the FOM mailing list