Logic List Mailing Archive

Book announcement: 100 Years of Intuitionism (van Atten, Boldini, Bourdeau, Heinzmann)

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: Birkhuser, 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.

GRAN 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 Knig's mathematical dreams in his New
Foundations of Logic, Arithmetic, and Set Theory, pp.178--197.

JEAN FICHOT, Gdel, 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-LF, The Hilbert-Brouwer controversy resolved?,
pp.243--256.

ANTON SETZER, Proof theory and Martin-Lf 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.