One Hundred Years of Intuitionism (1907-2007)
| Autor: | Mark Atten, Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann |
|---|---|
| EAN: | 9783764386535 |
| eBook Format: | |
| Sprache: | Englisch |
| Produktart: | eBook |
| Veröffentlichungsdatum: | 09.11.2008 |
| Untertitel: | The Cerisy Conference |
| Kategorie: | |
| Schlagworte: | 1907 Intuitionism Ludwig Wittgenstein computer computer science experience knowledge logic mathematics mind proof proof theory science set theory type theory |
96,29 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
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.