7
0
0
0
0
One hundred years of intuitionism (1907-2007) the cerisy conference / [electronic resource] :
- 其他作者：
- 出版： Basel : Birkhauser Basel
- 叢書名： Publications des Archives Henri Poincare =Publications of the Henri Poincare Archives
- 主題： Intuitionistic mathematics. , Mathematics--Philosophy , Science, general. , History of Science. , Humanities, general.
- ISBN： 9783764386535 (electronic bk.) 、 9783764386528 (paper)
-
FIND@SFXID:
CGU
- 資料類型: 電子書
-
讀者標籤：
- 系統號： 005030281 | 機讀編目格式
館藏資訊
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.
資料來源：
Google Book
延伸查詢
Google Books
Amazon