Remote Access Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society

ISSN 1088-9485(online) ISSN 0273-0979(print)

Book Review

The AMS does not provide abstracts of book reviews. You may download the entire review from the links below.


Full text of review: PDF   This review is available free of charge.
Book Information:

Author: Dennis E. Hesseling
Title: Gnomes in the fog: The reception of Brouwer's intuitionism in the 1920s
Additional book information: Science Networks -- Historical Studies, vol.~28, Birkhäuser, Basel, 2003, xxviii + 447 pp., ISBN 3-7643-6536-6, CHF 168.00 (EUR 115.56)

References [Enhancements On Off] (What's this?)

  • [Bi] Errett Bishop, Foundations of constructive analysis, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1967. MR 0221878
  • [Du] Michael Dummett, The philosophical basis of intuitionistic logic, Logic Colloquium ’73 (Bristol, 1973) North-Holland, Amsterdam, 1975, pp. 5–40. Studies in Logic and the Foundations of Mathematics, Vol. 80. MR 0439563
  • [Gö] Kurt Gödel, ``Zur intuitionistischen Arithmetik und Zahlentheorie'', Ergebnisse eines mathematischen Kolloquiums, Heft 4, pp. 34-38, 1933.
  • [Kl45] S. C. Kleene, ``On the interpretation of intuitionistic number theory'', Jour. Symbolic Logic, vol. 10, pp. 109-124, 1945. MR 7:406a
  • [Kl52] S. C. Kleene, ``Introduction to Metamathematics'', North-Holland, Amsterdam, 1971. First published 1952. MR 14:525m
  • [M-L] Per Martin-Löf, Intuitionistic type theory, Studies in Proof Theory. Lecture Notes, vol. 1, Bibliopolis, Naples, 1984. Notes by Giovanni Sambin. MR 769301
  • [DNe] David Nelson, ``Recursive functions and intuitionistic number theory'', Trans. Amer. Math. Soc., vol. 61, pp. 307-368, 1947. MR 10:3a
  • [ENe] Edward Nelson, ``Understanding Intuitionism'', presented at Rencontre du Reseau Georges Reeb, March 24-28, 1997, http://www.math.princeton.edu/ $\scriptstyle\sim$nelson/papers/int.pdf
  • [NoPeSm] Bengt Nordström, Kent Petersson, and Jan M. Smith, Programming in Martin-Löf’s type theory, International Series of Monographs on Computer Science, vol. 7, The Clarendon Press, Oxford University Press, New York, 1990. An introduction. MR 1243882

Review Information:

Reviewer: Edward Nelson
Affiliation: Princeton University
Email: nelson@math.princeton.edu
Journal: Bull. Amer. Math. Soc. 41 (2004), 545-549
Published electronically: June 17, 2004
Review copyright: © Copyright 2004 American Mathematical Society