One Hundred Years of Intuitionism (1907-2007)
The Cerisy Conference
Inbunden, Engelska, 2008
Av Mark van Atten, Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann, Mark Van Atten
1 409 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2008-07-17
- Mått155 x 235 x undefined mm
- SpråkEngelska
- SeriePublications des Archives Henri Poincaré Publications of the Henri Poincaré Archives
- Antal sidor422
- FörlagBirkhauser Verlag AG
- EAN9783764386528