-
56One Hundred Years of Intuitionism : The Cerisy ConferenceBirkhäuser Basel. 2008.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.
-
The priority of proof: the case of the non-standard significance of logical constantsRevue Internationale de Philosophie 58 (230): 437-447. 2004.
-
131La priorité de la preuve : le cas de la signification non-standard des constantes logiquesRevue Internationale de Philosophie 4 437-447. 2004.
-
Université Paris-SorbonneRegular Faculty
Areas of Interest
| Logic and Philosophy of Logic |