Tags
Language
Tags
<<
December 2024
Su Mo Tu We Th Fr Sa
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31 1 2 3 4
  1. Home
  2. eBooks & eLearning
  3. One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference

One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference

Posted By: step778
Date: 2 Nov 2020 14:34:09
One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference

Mark van Atten, Pascal Boldini, Michel Bourdeau, "One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference"
English | 2008 | pages: 432 | ISBN: 3764386525 | PDF | 2,7 mb

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.

My Link
UPWARDS