ENGLISH

One hundred years of intuitionism (1907-2007) : the Cerisy conference

By Mark van Atten , Pascal Boldini , Michel Bourdeau , Gerhard Heinzmann

Book information

Publisher
Birkhäuser
Year
2008
ISBN
978-3-7643-8652-8, 3764386525, 978-3-7643-8653-5, 3764386533
Language
english
Format
PDF
Filesize
2 MB (2000727 bytes)
Series
Publications des Archives Henri-Poincaré
Pages
422\436
Time added
2016-01-18 05:00:00

Description

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.

Similar books