[FOM] book announcement: One Hundred Years of Intuitionism (1907--2007)

[Mark van Atten]

van Atten, M.; Boldini, P.; Bourdeau, M.; Heinzmann, G. (Eds.)
One Hundred Years of Intuitionism (1907-2007). The Cerisy
Conference.
(Series: Publications of the Henri Poincaré
Archives. Science around 1900)
Basel: Birkhäuser, 2008.
Hardcover, xiv+422p. ISBN 978-3-7643-8652-8
EUR 99.00


TABLE OF CONTENTS

Contributors, p.x.

Preface, pp.xii--xiii.


Part I Brouwer and Brouwerian intuitionism

DIRK VAN DALEN, Another look at Brouwer's dissertation, pp.3--20.

CARL POSY, Brouwerian infinity, pp.21--36.

CHARLES MCCARTY, The new intuitionism, pp.37--49.

JACQUES DUBUCS, Truth and experience of truth, pp.50--59.

GÖRAN SUNDHOLM AND MARK VAN ATTEN, The proper explanation of 
intuitionistic logic: on Brouwer's
demonstration of the Bar Theorem, pp.60--77.

RICHARD TIESZEN, The intersection of intuitionism (Brouwer) and
phenomenology (Husserl), pp.78--95.

MATHIEU MARION, Brouwer on 'hypotheses' and the middle Wittgenstein, 
pp.96--114.

MOHAMMAD ARDESHIR, Brouwer's notion of intuition and theory of knowledge by
presence, pp.115--130.

HENK BARENDREGT, Buddhist models of the mind and the common
core thesis on mysticism, pp.131--145.


Part II Kindred spirits

ALAIN MICHEL, Remarks on the supposed French 'semi-' or 
'pre-intuitionism', pp.149--162.

GERHARD HEINZMANN AND PHILIPPE NABONNAND, Poincaré: intuitionism, 
intuition, and convention, pp.163--177.

MARCEL GUILLAUME, Some of Julius König's mathematical dreams in his New
Foundations of Logic, Arithmetic, and Set Theory, pp.178--197.

JEAN FICHOT, Gödel, constructivity, impredicativity, and feasibility, 
pp.198--213.

PETER SCHROEDER-HEISTER, Lorenzen's operative justification of
intuitionistic logic, pp.214--240.



Part III Mathematical perspectives

PER MARTIN-LÖF, The Hilbert-Brouwer controversy resolved?,
pp.243--256.

ANTON SETZER, Proof theory and Martin-Löf Type Theory,
pp.257--279.

MITSUHIRO OKADA, Some remarks on linear logic, pp.280--300.

GIOVANNI SAMBIN, Two applications of dynamic constructivism:
Brouwer's continuity principle and choice sequences in formal
topology, pp.301--315.

DOUGLAS BRIDGES, A reverse look at Brouwer's Fan Theorem,
pp.316--325.

WIM VELDMAN, Some applications of Brouwer's Thesis on Bars,
pp.326--340.



MICHAEL DUMMETT, Concluding remarks at the Cerisy conference,
pp.341--342.

DIRK VAN DALEN, A bibliography of L.E.J. Brouwer, pp.343--390.

References, pp.391--416.

Index of citations, pp.417--422.


-- 
IHPST (Paris 1/CNRS/ENS)
13 rue du Four, F-75006 Paris, France
tel ++ 33 (0)1 43 54 94 60
fax ++ 33 (0)1 43 25 29 48
http://www-ihpst.univ-paris1.fr

-- 
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.