One Hundred Years of Intuitionism : The Cerisy Conference

, , &
Birkhäuser Basel (2008)
  Copy   BIBTEX

Abstract

Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. This book reviews and completes the historical account of intuitionism. It also presents recent philosophical work on intuitionism and gives examples of new technical advances and applications. It brings together 21 contributions from today's leading authors on intuitionism.

Categories

Keywords

Reprint years

ISBN(s)

9783764386528   3764386525

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 105,810

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Another look at Brouwer’s dissertation.  (pages 3–20)Dirk van Dalen
The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar Theorem.  (pages 60-77)Mark van Atten & Göran Sundholm
The proper explanation of intuitionistic logic: on Brouwer’s demonstration of the Bar Theorem.  (pages 60-77)Mark van Atten & Göran Sundholm
The intersection of intuitionism (Brouwer) and phenomenology (Husserl).  (pages 78–95)Richard Tieszen

Similar books and articles

The intersection of intuitionism (Brouwer) and phenomenology (Husserl).Richard Tieszen - 2008 - In Mark van Atten, Pascal Boldini, Michel Bourdeau & Gerhard Heinzmann, One Hundred Years of Intuitionism : The Cerisy Conference. Birkhäuser Basel. pp. 78–95.
Another look at Brouwer’s dissertation.Dirk van Dalen - 2008 - In Mark van Atten, Pascal Boldini, Michel Bourdeau & Gerhard Heinzmann, One Hundred Years of Intuitionism : The Cerisy Conference. Birkhäuser Basel. pp. 3–20.
The proper explanation of intuitionistic logic: on Brouwer’s demonstration of the Bar Theorem.Mark van Atten & Göran Sundholm - 2008 - In Mark van Atten, Pascal Boldini, Michel Bourdeau & Gerhard Heinzmann, One Hundred Years of Intuitionism : The Cerisy Conference. Birkhäuser Basel. pp. 60-77.
The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar Theorem.Mark van Atten & Göran Sundholm - 2008 - In Mark van Atten, Pascal Boldini, Michel Bourdeau & Gerhard Heinzmann, One Hundred Years of Intuitionism : The Cerisy Conference. Birkhäuser Basel. pp. 60-77.
Review of M. van Atten, P. Boldini, M. Bourdeau, and G. Heinzmann (eds.), One Hundred Years of Intuitionism (1907–2007): The Cerisy Conference. [REVIEW]J. L. Bell - 2013 - Philosophia Mathematica 21 (3):392-399.
Review of: One Hundred Years of Intuitionism (1907-2007). [REVIEW]Francesca Poggiolesi - unknown
The New Intuitionism.Jill Graper Hernandez (ed.) - 2011 - London: Continuum.
Proof theory of classical and intuitionistic logic.Jan von Plato - 2009 - In Leila Haaparanta, The development of modern logic. New York: Oxford University Press.
Mathematical Intuitionism.Carl J. Posy - 2020 - Cambridge University Press.
Moral Intuitionism and the Challenges of Mysteriousness and Dogmatism.Mark D. Mathewson - 2003 - Dissertation, The University of Nebraska - Lincoln

Analytics

Added to PP
2016-09-21

Downloads
30 (#834,067)

6 months
12 (#291,840)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Mark van Atten
Centre National de la Recherche Scientifique
Pascal Boldini
Michel Bourdeau
Centre National de la Recherche Scientifique
1 more

Citations of this work

The development of intuitionistic logic.Mark van Atten - 2008 - Stanford Encyclopedia of Philosophy.
Luitzen egbertus Jan Brouwer.Mark van Atten - 2008 - Stanford Encyclopedia of Philosophy.
Philosophy of mathematics and computer science.Kazimierz Trzęsicki - 2010 - Studies in Logic, Grammar and Rhetoric 22 (35).

Add more citations

References found in this work

No references found.

Add more references