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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!