Shmi comments on Constructive mathemathics and its dual

[Shmi]

Please add references (at least wiki links) for all the relevant concepts.

[MrMind]

Will do!