Dansk
One Hundred Years of Intuitionism (1907-2007) e-bog
875,33 DKK
(inkl. moms 1094,16 DKK)
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 application...
E-bog
875,33 DKK
Forlag
Birkhauser
Udgivet
9 november 2008
Genrer
History of science
Sprog
English
Format
pdf
Beskyttelse
LCP
ISBN
9783764386535
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.