One Hundred Years of Intuitionism (1907-2007)
The Cerisy Conference| By: | Mark van Atten; Pascal Boldini; Michel Bourdeau |
| Publisher: | Springer Nature |
| Print ISBN: | 9783764386528 |
| eText ISBN: | 9783764386535 |
| Edition: | 1 |
| Copyright: | 2008 |
| Format: | Page Fidelity |
Lifetime - $123.75
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
Details
Table of Contents
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.