登入選單

返回Google圖書搜尋

Varieties of Constructive Mathematics

Douglas S. BridgesFred RichmanBridges/Richman

出版	Cambridge University Press, 1987
ISBN	11073613389781107361331
URL	http://books.google.com.hk/books?id=qwHdoQEACAAJ&hl=&source=gbs_api

註釋

This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines.