shminux comments on Constructive mathemathics and its dual

[shminux]

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

[MrMind]

Will do!