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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,215

External links

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

Through your library

Similar books and articles

Death and Anti-Death.Charles Tandy (ed.) - 2003 - Ria University Press.
Concluding remarks at the Cerisy conference.M. Dummett - 2008 - In Mark van Atten, Pascal Boldini, Michel Bourdeau & Gerhard Heinzmann (eds.), ¸ Itevanatten2008. Birkhäuser Basel. pp. 341-342.
Intuitionism.David Kaspar - 2012 - Continuum.

Analytics

Added to PP
2016-09-21

Downloads
6 (#1,104,408)

6 months
1 (#449,220)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Julius Konig et les Principes Aristoteliciens.Marcel Guillaume - 2009 - Principia: An International Journal of Epistemology 13 (2):153-164.
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