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

Add categories

Keywords

Reprint years

ISBN(s)

9783764386528   3764386525
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

External links

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

Through your library

My notes

Similar books and articles

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
One Hundred Years of Intuitionism (1907-2007).Jean Paul Van Bendegem - 2011 - Studia Logica 97 (3):421-425.
Principles of Intuitionism. Lectures Presented at the Summer Conference on Intuitionism and Proof Theory at SUNY at Buffalo, N.Y. [REVIEW]A. S. Troelstra - 1975 - Journal of Symbolic Logic 40 (3):447-448.
Death and anti-death.Charles Tandy (ed.) - 2003 - Palo Alto, Calif.: 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.
Positions de la sophistique: colloque de Cerisy.Barbara Cassin (ed.) - 1986 - Paris: J. Vrin.
Intuitionism.David Kaspar - 2012 - New York: Continuum.
One Hundred Years of Homosexuality: and other essays on Greek love.David M. Halperin - 1990 - Routledge.
Cinémas de la modernité: films, théories : colloque de Cerisy.Dominique Chateau - 1981
A. S. Troelstra. Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory at SUNY at Buffalo, N. Y. Lecture notes in mathematics, no. 95. Springer-Verlag, Berlin, Heidelberg, and New York, 1969, 111 pp. [REVIEW]Joan Rand Moschovakis - 1975 - Journal of Symbolic Logic 40 (3):447-448.
Témoignage et écriture de l'histoire: décade de Cerisy, 21-31 juillet 2001.Jean-François Chiantaretto - 2003 - Editions L'Harmattan.
Perceptual Intuitionism without Ethical Perception.Lesley Jamieson - unknown
Au nom du sens: autour de l'œuvre d'Umberto Eco : colloque de Cerisy.Jean Petitot-Cocorda, Paolo Fabbri & Centre Culturel International de Cerisy-la-Salle - 2000 - Grasset & Fasquelle.
Conference Report: Social Emancipation: One Hundred and Fifty Years After The Communist Manifesto; From Enlightenment to Dialectics: Dialectic of Enlightenment: Anniversary blues.Peter Osborne - 1998 - Radical Philosophy 89.

Analytics

Added to PP
2016-09-21

Downloads
16 (#909,581)

6 months
5 (#645,438)

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

Luitzen egbertus Jan Brouwer.Mark van Atten - 2008 - Stanford Encyclopedia of Philosophy.
Julius Konig et les Principes Aristoteliciens.Marcel Guillaume - 2009 - Principia: An International Journal of Epistemology 13 (2):153-164.
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