by Ray Mines
The constructive approach to mathematics has recently enjoyed a renaissance. This was caused largely by the appearance of Bishop's Foundations of Constructive Analysis, but also by the proliferatio…