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.