автор: Wim Ruitenburg

The constructive approach to mathematics has enjoyed a renaissance, caused in large part by the appearance of Errett Bishop’s book Foundations of constr"uctiue analysis in 1967, and by the subtl …