Editors:
- Large variety of facets studied: biographical, contextual, philosophical, logical, and mathematical
- Significant progress on problems central to current foundational studies
- Brings together 21 contributions of today's leading authors on intuitionism
- Rich introduction to those new to research in the field
- Includes supplementary material: sn.pub/extras
Part of the book series: Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives (PAHP)
Part of the book sub series: Science autour de / around 1900 (PAHPSCIENCE)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (22 chapters)
-
Front Matter
-
Brouwer and Brouwerian intuitionism
-
Front Matter
-
-
Kindred spirits
-
Front Matter
-
-
Mathematical perspectives
-
Front Matter
-
About this book
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science.
The aim of the book is threefold: to review and complete the historical account of intuitionism; to present recent philosophical work on intuitionism; and to give examples of new technical advances and applications of intuitionism. This volume brings together 21 contributions by today's leading authors on these topics, and surveys the philosophical, logical and mathematical implications of the approach initiated in 1907 in L.E.J. Brouwer's dissertation.
Editors and Affiliations
-
IHPST, CNRS/Paris I/ENS, Paris, France
Mark Atten, Michel Bourdeau
-
CAMS-EHESS, Université Paris-Sorbonne Maison de la Recherche, Paris, France
Pascal Boldini
-
Archives H. Poincaré, Nancy-Université/CNRS, Nancy CX, France
Gerhard Heinzmann
Bibliographic Information
Book Title: One Hundred Years of Intuitionism (1907-2007)
Book Subtitle: The Cerisy Conference
Editors: Mark Atten, Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann
Series Title: Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives
DOI: https://doi.org/10.1007/978-3-7643-8653-5
Publisher: Birkhäuser Basel
eBook Packages: Humanities, Social Sciences and Law, History (R0)
Copyright Information: Birkh�user Basel 2008
Hardcover ISBN: 978-3-7643-8652-8Published: 17 July 2008
eBook ISBN: 978-3-7643-8653-5Published: 09 November 2008
Series ISSN: 2504-3714
Series E-ISSN: 2504-3722
Edition Number: 1
Number of Pages: XIII, 422
Topics: History of Science