Overview
- 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)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
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.
Similar content being viewed by others
Keywords
Table of contents (22 chapters)
-
Brouwer and Brouwerian intuitionism
-
Kindred spirits
-
Mathematical perspectives
Editors and Affiliations
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