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