✦ LIBER ✦
One Hundred Years of Intuitionism (1907–2007) Volume 532 || The Hilbert-Brouwer controversy resolved?
✍ Scribed by Atten, Mark; Boldini, Pascal; Bourdeau, Michel; Heinzmann, Gerhard
- Book ID
- 111957129
- Publisher
- Birkhäuser Basel
- Year
- 2008
- Tongue
- English
- Weight
- 194 KB
- Edition
- 1
- Category
- Article
- ISBN
- 3764386533
No coin nor oath required. For personal study only.
✦ Synopsis
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.