This document is unfortunately not available for download at the moment.
Pascal Boldini
Michel Bourdeau
Gerhard Heinzmann
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science.
The aim of the book is threefold: to review and complete the historical account of intuitionism; to present recent philosophical work on intuitionism; and to give examples of new technical advances and applications of intuitionism. This volume brings together 21 contributions by today's leading authors on these topics, and surveys the philosophical, logical and mathematical implications of the approach initiated in 1907 in L.E.J. Brouwer's dissertation.
Dirk van Dalen
Posy Carl J
McCarty Charles
Dubucs Jacques
Sundholm Göran; Van Atten Mark
Marion Mathieu
Ardeshir Mohammad
Heinzmann Gerhard; Nebonnand Philippe
Guillaume Marcel
Schroeder-Heister Peter
Martin-Löf Per
Setzer Anton
Okada Mitsuhiro
Sambin Giovanni
Bridges Douglas
Dummett Michael
Dirk van Dalen
This document is unfortunately not available for download at the moment.