One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference (Publications des Archives Henri Poincaré   Publications of the Henri Poincaré Archives / Science autour de / around 1900)

One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference (Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives / Science autour de / around 1900)

by Markvan Atten (Editor), PascalBoldini (Editor), Michel Bourdeau (Editor), Gerhard Heinzmann (Editor)

Synopsis

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. It also presents recent philosophical work on intuitionism and gives examples of new technical advances and applications.

$172.49

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 435
Publisher: Birkhauser
Published: 17 Jul 2008

ISBN 10: 3764386525
ISBN 13: 9783764386528