One Hundred Years Of Intuitionism (1907-2007): The Cerisy Conference (publications Des Archives Henri Poincaré Publications Of The Henri Poincaré Archives)
by Gerhard Heinzmann /
2008 / English / PDF
1.9 MB Download
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.
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.