.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
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)
N/A
€ 136.32
FREE Delivery in Ireland
Description for 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)
Hardcover. 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 presents philosophical work on intuitionism and gives examples of technical advances and applications. Editor(s): Van Atten, Mark; Boldini, Pascal; Bourdeau, Michel; Heinzmann, Gerhard. Series: Publications des Archives Henri Poincare / Publications of the Henri Poincare Archives / Science Autour de / Around 1900. Num Pages: 422 pages, biography. BIC Classification: HPCF; HPK. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 165 x 29. Weight in Grams: 794.
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.
Product Details
Format
Hardback
Publication date
2008
Publisher
Birkhäuser
Condition
New
Series
Publications des Archives Henri Poincare / Publications of the Henri Poincare Archives / Science Au
Number of Pages
422
Place of Publication
Basel, Switzerland
ISBN
9783764386528
SKU
V9783764386528
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for 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)