One Hundred Years of Intuitionism : The Cerisy Conference
Birkhäuser Basel (2008)
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.Author's Profile
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.
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.
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 - 1986 - Librairie Philosophique J Vrin.
One Hundred Years of Homosexuality: and other essays on Greek love.David M. Halperin - 1990 - Routledge.
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.
Analytics
Added to PP
2016-09-21
Downloads
6 (#1,104,408)
6 months
1 (#449,220)
2016-09-21
Downloads
6 (#1,104,408)
6 months
1 (#449,220)
Historical graph of downloads
Author's Profile
Citations of this work
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloo
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).