I am looking for a good introduction to constructive mathematics:
it should introduce the central motivation of constructive mathematics. (or motivations if there are multiple distinct but important motivations for it)
it should provide some examples of theorems that are true (false) in classical mathematics, but false (true) in constructive mathematics. And with proofs of course.
it should ideally also address both the interests of a mathematician and of a logician.
it should outline maybe some ways in which constructive mathematics gives us insights, or can be implied in some way, that classical mathematics cannot.
it should be clearly written of course.
I am not sure if this could be captured in an article rather than a book, but I am open to both an article and a book.